Concurrent Systems and Inevitability.

Antoni W. Mazurkiewicz Edward Ochmanski Wojciech Penczek

Published in: Theor. Comput. Sci. (1989)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
transition systems
petri net
model checking
multi agent systems
software engineering
fine grained