Bibtex Record:
@workingpaper{
Author = {Reeves, S.V. and Streader, D.},
Title = {Atomic components},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {01/2004},
Pages = {1-11},
Month = {February},
Abstract = {There 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.},
Keywords = {State and action, components, refinement labelled transition systems, Z},
Year = {2004}
}