scientific article; zbMATH DE number 176129

MaRDI QIDQ4035230zbMATH OpenFDO

Authors Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Publication date 18 May 1993

zbMATH Keywords

distributed bisimulationslocation equivalencesemantic theories of processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Observing localities
• A theory of processes with localities
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• A parametric approach to localities
• Location equivalence in a parametric setting

Cited in

(12)

• A concept of local observability
• A theory of processes with localities
• A static view of localities
• Architectural CCS
• Nested-unit Petri nets
• scientific article; zbMATH DE number 2076275 (Why is no real title available?)
• scientific article; zbMATH DE number 1929923 (Why is no real title available?)
• A parametric approach to localities
• Proved trees
• Landscape of Locality (Invited Talk).
• Universal axioms for bisimulations
• Observing localities

This page was built for publication:

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