activity
20102026
most citedFolk Theorems on the Correspondence between State-Based and Event-Based Systems

27 citations · 64 across the 15 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.LO2012★ 1 cited

Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics

Bas Luttik, Michel A. Reniers

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