21 citations · 65 across the 10 of their papers we have counts for
1 paper · 1 filter
Rob J. 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…