dc.contributor.author | BUTTERFIELD, ANDREW | en |
dc.contributor.editor | Ana Cavalcanti and Dennis Dams | en |
dc.date.accessioned | 2010-02-26T15:51:00Z | |
dc.date.available | 2010-02-26T15:51:00Z | |
dc.date.created | 2-6th Nov | en |
dc.date.issued | 2009 | en |
dc.date.submitted | 2009 | en |
dc.identifier.citation | Andrew Butterfield, Pawel Gancarski, The Denotational Semantics of Slotted-Circus, Lecture Notes in Computer Science, Formal Methods 2009, Eindhoven, Netherlands, 2-6th Nov, Ana Cavalcanti and Dennis Dams, 5850, Springer, 2009, 451-466 | en |
dc.identifier.other | Y | en |
dc.description | PUBLISHED | en |
dc.description | Eindhoven, Netherlands | en |
dc.description.sponsorship | Science Foundation Ireland | en |
dc.format.extent | 451-466 | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | Springer | en |
dc.relation.ispartofseries | 5850 | en |
dc.rights | Y | en |
dc.subject | denotational semantics | en |
dc.subject | unifying theories | en |
dc.subject | time-slots | en |
dc.subject | concurrency theory | en |
dc.title | The Denotational Semantics of Slotted-Circus | en |
dc.title.alternative | Lecture Notes in Computer Science | en |
dc.title.alternative | Formal Methods 2009 | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
dc.identifier.rssinternalid | 59927 | en |
dc.subject.TCDTheme | Smart & Sustainable Planet | en |
dc.identifier.rssuri | http://dx.doi.org/10.1007/978-3-642-05089-3_29 | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.identifier.uri | http://hdl.handle.net/2262/38447 | |