Searching for "Refinement of actions and equivalence notions for concurrent systems." – sorted by Relevance.
-
Refinement of Actions and Equivalence Notions for Concurrent Systems
- Refinement of Actions and Equivalence Notions for Concurrent Systems Rob van Glabbeek Computer
- Cited by 16 (1 self) – Add To MetaCart

