Show simple item record  

dc.contributor.authorReeves, Steve
dc.contributor.authorStreader, David
dc.date.accessioned2008-10-06T03:59:52Z
dc.date.available2008-10-06T03:59:52Z
dc.date.issued2004-02
dc.identifier.citationReeves, S. & Streader, D. (2004). Atomic components. (Working paper 01/2004). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_US
dc.identifier.issn1170-487X
dc.identifier.urihttps://hdl.handle.net/10289/1002
dc.description.abstractThere has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same interface cannot be observed by any user of the components. Here we will define the semantics of atomic components where both states and event can be part of the interface. The resulting semantics is very similar to that of (event only) processes. But it has two main novelties: one, it does not need recursion or unique fixed points to model nontermination; and two, the behaviour of divergence is modelled by abstraction, i.e. the construction of the observational semantics.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_US
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.subjectstate and actionen_US
dc.subjectcomponentsen_US
dc.subjectrefinementen_US
dc.subjectlabeled transition systemsen_US
dc.subjectZen_US
dc.titleAtomic componentsen_US
dc.typeWorking Paperen_US
uow.relation.series01/2004


Files in this item

This item appears in the following Collection(s)

Show simple item record