41 citations · 226 across the 36 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 26 cited
Musings on Encodings and Expressiveness
Rob van Glabbeek
This paper proposes a definition of what it means for one system description language to encode another one, thereby enabling an ordering of system description languages with respe…
cs.LO2012★ 3 cited
On Distributability of Petri Nets
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and prec…