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