27 citations · 152 across the 31 of their papers we have counts for
3 papers · 1 filter
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…