Publication | Closed Access

A note on transition systems

Transition SystemsEngineeringAutomated ReasoningFormal MethodsComputer ScienceFinite-state SystemProcess CalculusSystem Theory