For the most recent entries see the
Petri Nets Newsletter
Keyword: interleaving equivalence
van Glabbeek, Rob J.
Equivalences and Refinement.
van Glabbeek, Rob
Equivalence Notions for Concurrent Systems and Refinement of Actions.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography