Observing localities. (Extended abstract)

[For the entire collection see Zbl 0753.00030.] We develop the idea that location names are assigned dynamically as part and parcel of the act of observation; when an observer sees an action it will naturally be seen as emanating from a particular location and the observer may then choose to allocate a name to that location. All subsequent actions performed at that location will then be recognised as emanating from this same location. Technically this involve developing an operational semantics for the language by replacing the usual statements of the form \(P@>a>> Q\) with new ones of the form \(P @>a>u> Q\) which carry information about the location names which the observer has assigned to particular locations in the system. This is very similar to the approach taken in \textit{I. Castellani} and \textit{M. Hennessy} [Distributed bisimulations, J. Assoc. Comput. Mach. 10(4), 887-911 (1989; Zbl 0697.68076)], \textit{I. Castellani} [Bisimulations for Concurrency, Ph.d. thesis, University of Edinburgh (1988)] and \textit{A. Kiehn} [Distributed bisimulations for finite CCS, Report 7/89, University of Sussex (1989)] where distributed bisimulations are defined.

Recommendations

Cited in

(12)

This page was built for publication: Observing localities. (Extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035230)