Refinement of Actions and Equivalence Notions for Concurrent Systems (1998)

Cached

Download Links

by Rob Van Glabbeek , Ursula Goltz
Venue:Acta Informatica
Citations:37 - 1 self