31 citations · 109 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Comparing Type Systems for Deadlock Freedom
Ornela Dardha, Jorge A. Pérez
Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating services, but also to…
cs.LO2018★ 3 cited
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Jorge A. Pérez, Simone Tini
This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS…