Publication | Open Access
A transition system semantics for the control-driven coordination language MANIFOLD
41
Citations
18
References
2000
Year
SyntaxEngineeringOperational SemanticsAutomated ReasoningComputational LinguisticsFormal MethodsTransition System SemanticsComputer ScienceCoordination ModelLanguage StudiesSemanticsFinite-state SystemAction LanguageLinguisticsComputational Semantics
| Year | Citations | |
|---|---|---|
Page 1
Page 1