Janicki, Ryszard, Lauer, Peter E.

• Specification and Analysis of Concurrent Systems