16 citations · 46 across the 17 of their papers we have counts for
1 paper · 1 filter
Paolo Baldan, Silvia Crafa
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p…