Publication | Closed Access

The connection between an event structure semantics and an operational semantics forTCSP

Formal SemanticsEvent ProcessingEngineeringOperational SemanticsAutomated ReasoningEvent Structure SemanticsEvent-driven ProgrammingFormal MethodsWell-founded SemanticsLanguage StudiesSemanticsLinguistics