A static view of localities

DOI10.1007/BF01221099MaRDI QIDQ1329199zbMATH OpenFDO

Authors Luca Aceto

Publication date 13 February 1995

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01221099

zbMATH Keywords

distributed nets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• Distribution and locality of concurrent systems
• A theory of processes with localities
• A parametric approach to localities
• Observing localities

Cites work

• A static view of localities
• Automatizing parametric reasoning on distributed concurrent systems
• Distributed bisimulations
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176129 (Why is no real title available?)
• Universal axioms for bisimulations

Cited in

(16)

• A theory of processes with localities
• A static view of localities
• Comparing locality and causality based equivalences
• Nested-unit Petri nets
• A stable non-interleaving early operational semantics for the pi-calculus
• A theory of stochastic systems. II: Process algebra
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• scientific article; zbMATH DE number 2076275 (Why is no real title available?)
• Distribution and locality of concurrent systems
• Behavioural equivalence for infinite systems -- partially decidable!
• scientific article; zbMATH DE number 7075933 (Why is no real title available?)
• Analysing mutual exclusion using process algebra with signals
• A parametric approach to localities
• Distributed processes and location failures
• Locality and interleaving semantics in calculi for mobile processes
• Location equivalence in a parametric setting

This page was built for publication: A static view of localities

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