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:95 - 9 self