Finite transition systems - semantics of communicating systems

Transition systems the synchronous product of transition systems transition system logics verification of properties of transition systems fixpoints in transition systems software tools.