Publication | Closed Access
Compositional semantics and behavioural equivalences for reaction systems with restriction
15
Citations
15
References
2014
Year
Formal SemanticsProcess CalculusEngineeringCompositional SemanticsOperational SemanticsAutomated ReasoningFormal MethodsFormal SystemLanguage StudiesSemanticsAction LanguageLinguistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1