30 citations · 42 across the 13 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2015
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics
Silvia Crafa, Daniel E. Gebler
This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS…
cs.LO2014
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics
Johannes Borgström, Silvia Crafa
This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS…
cs.LO2011
A Logic for True Concurrency
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…