activity
20052026
most citedDivide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

12 citations · 88 across the 34 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.PL2013

Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics

Johannes Borgström, Bas Luttik

This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS…