Show simple item record

dc.contributor.authorCau, A. (Antonio)
dc.contributor.authorde Roever, W. P.
dc.date.accessioned2005-09-05T17:59:17Z
dc.date.available2005-09-05T17:59:17Z
dc.date.issued1997-02
dc.identifier.citationCau, Antonio and Roever, W.-P. de, A dense-time temporal logic with nice compositionality properties. In: Computer aided systems theory, EUROCAST '97: a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 1997. Editors: Franz Pichler and Roberto Moreno Diaz, Berlin: New York: Springer, 1997, Lecture notes in computer science, vol 1333. pp. 123-145.en
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/2086/37
dc.description.abstractA dense temporal logic specification method for the development of reactive systems is introduced. The two development constructs of this method are refinement and composition. A reactive system is specified by a pair consisting of a machine and a condition on the computations of this machine. In order to compose such systems compositionally, each machine step contains additional information such as, “this is a system step”, or “this is an environment step” or “this is a communication step”. Compositionality enables us to break refinement between complex systems into refinement between small and simple systems. The latter can then be verified by existing proof rules for refinement which are reformulated in our formalism.en
dc.format.extent399220 bytes
dc.format.extent704337 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1997-1en
dc.titleA dense-time temporal logic with nice compositionality propertiesen
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1007/bfb0025039
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record