dc.contributor.author | Butterfield, Andrew | en |
dc.contributor.editor | J. Davies and J. Gibbons | en |
dc.date.accessioned | 2010-02-26T15:42:18Z | |
dc.date.available | 2010-02-26T15:42:18Z | |
dc.date.created | 2-5 July | en |
dc.date.issued | 2007 | en |
dc.date.submitted | 2007 | en |
dc.identifier.citation | Andrew Butterfield, Adnan Sherif and Jim Woodcock, Slotted-Circus: A UTP-Family of Reactive Theories, Lecture Notes in Computer Science, Integrating Formal Methods 2007 (IFM2007), Oxford, UK, 2-5 July, J. Davies and J. Gibbons, 4591, Springer, 2007, 75-97 | en |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/38446 | |
dc.description | PUBLISHED | en |
dc.description | Oxford, UK | en |
dc.description.abstract | We present a generic framework of UTP theories for describing systems whose behaviour is characterised by regular time-slots, compatible with the general structure of the Circus language [WC01a]. This ?slotted-Circus? framework is parameterised by the particular way in which event histories are observable within a time-slot, and specifies what laws a desired parameterisation must obey in order for a satisfactory theory to emerge.
Two key results of this work are: the need to be very careful in formulating the healthiness conditions, particularly R2 ; and the demonstration that synchronous theories like SCSP [Bar93] do not fit well with the way reactive systems are currently formulated in UTP and Circus. | en |
dc.format.extent | 75-97 | en |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | Springer | en |
dc.relation.ispartofseries | 4591 | en |
dc.rights | Y | en |
dc.subject | Computer Science | |
dc.title | Slotted-Circus: A UTP-Family of Reactive Theories | en |
dc.title.alternative | Lecture Notes in Computer Science | en |
dc.title.alternative | Integrating Formal Methods 2007 (IFM2007) | 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 | 45402 | en |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-540-73210-5_5 | en |
dc.subject.TCDTheme | Smart & Sustainable Planet | en |
dc.identifier.rssuri | http://dx.doi.org/10.1007/978-3-540-73210-5 | en |
dc.identifier.orcid_id | 0000-0002-2337-2101 | en |