27 citations · 64 across the 15 of their papers we have counts for
6 papers · 1 filter
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/…
Linearization of CIF Through SOS
Damian Nadales Agut, Michel Reniers
Linearization is the procedure of rewriting a process term into a linear form, which consist only of basic operators of the process language. This procedure is interesting both fro…
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi, Michel A. Reniers
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are…
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
M. A. Reniers, T. A. C. Willemse
Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both models are commonly believed to be equi-expressive. On…
Structural Analysis of Boolean Equation Systems
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our…
Analysis of Boolean Equation Systems through Structure Graphs
Michel A. Reniers, Tim A. C. Willemse
We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our…