21 citations · 30 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2012
Scalable Minimization Algorithm for Partial Bisimulation
J. Markovski
We present an efficient algorithm for computing the partial bisimulation preorder and equivalence for labeled transitions systems. The partial bisimulation preorder lies between si…
cs.LO2011★ 21 cited
A Process Algebra for Supervisory Coordination
Jos Baeten, Bert van Beek, Allan van Hulst +1
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studie…
cs.LO2009★ 1 cited
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio +4
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the…