Introduction To Process Algebra
Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express s... »

Modelling Distributed Systems
A distributed system is driven by separate components that are executed in parallel and protocols for such systems form a major aspect of system design. Proc... »