Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This comple

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in tr

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar.