Lookup NU author(s): Professor Maciej Koutny
Full text is not currently available for this publication.
We here develop a model of structure and communication within systems of concurrently executing components connected by asynchronous communication links, and formulate a definition of observational equivalence between systems. The most important aspect of the model is that it accommodates the dynamic system connectivity required to model open and continuously operating systems, by allowing creation of new communication links and allowing an end-point of a communication link to be communicated as part of a message, with the recipient thus dynamically acquiring the ability to communicate on that link. For this model we formulate a novel definition of observational equivalence in terms of equivalent operational behaviours of possible observing systems. This formulation avoids certain difficulties that arise in attempting to apply the usual approach to dynamic systems, and also very directly captures the intuitive meaning of "observational equivalence".
Author(s): Hopkins RP, Koutny M
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Report Number: 239
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne