Distribution and locality of concurrent systems

DOI10.1007/3-540-58201-0_65MaRDI QIDQ4632423zbMATH OpenOpenAlexFDO

Authors Rocco De Nicola, Flavio Corradini

Publication date 29 April 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58201-0_65

zbMATH Keywords

access pathderivation relationinference ruletransition systemvisible action

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

• Locality based semantics for process algebras
• A static view of localities
• scientific article; zbMATH DE number 1512709
• Locality and interleaving semantics in calculi for mobile processes
• A theory of processes with localities

Cites work

• A static view of localities
• A theory of processes with localities
• CCS expressions, finite state processes, and three problems of equivalence
• Distributed bisimulations
• scientific article; zbMATH DE number 1638667 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• Proved trees

Cited in

(11)

• A static view of localities
• Tile formats for located and mobile systems.
• Process algebras with localities.
• Distributed bisimulations
• The Complexity of Distributed Concurrency Control
• scientific article; zbMATH DE number 4064498 (Why is no real title available?)
• scientific article; zbMATH DE number 1479626 (Why is no real title available?)
• scientific article; zbMATH DE number 1512709 (Why is no real title available?)
• Distributed processes and location failures
• Static Analysis
• Distributed processes and location failures

This page was built for publication: Distribution and locality of concurrent systems

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