30 citations · 42 across the 13 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…