The Denotational Semantics of slotted-Circus
You are here
| Title | The Denotational Semantics of slotted-Circus |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Gancarski P, Butterfield A |
| Conference Name | Proceedings of the 2nd World Congress on Formal MethodsProceedings of the 2nd World Congress on Formal Methods |
| Date Published | 2009 |
| Publisher | Springer-Verlag |
| Conference Location | Eindhoven, The Netherlands |
| URL | http://ulir.ul.ie/handle/10344/584 |
