Publication | Closed Access
The connection between an event structure semantics and an operational semantics forTCSP
23
Citations
13
References
1994
Year
Formal SemanticsEvent ProcessingEngineeringOperational SemanticsAutomated ReasoningEvent Structure SemanticsEvent-driven ProgrammingFormal MethodsWell-founded SemanticsLanguage StudiesSemanticsLinguistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1