Found 2 results
Filters: Author is Gancarski, Pawel [Clear All Filters]
Prioritised slotted-Circus. 7th International Colloqium Theoretical Aspects of Computing - ICTAC 2010.
.
2010. The Denotational Semantics of slotted-Circus. Proceedings of the 2nd World Congress on Formal MethodsProceedings of the 2nd World Congress on Formal Methods. LNCS 5850
.
2009.