A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (1998)

Cached

Download Links

by Marco Bernardo , Roberto Gorrieri
Venue:Theoretical Computer Science
Citations:103 - 9 self