Distribution and locality of concurrent systems

DOI10.1007/3-540-58201-0_65zbMath1418.68137OpenAlexW1804005701MaRDI QIDQ4632423

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

inference ruletransition systemvisible actionderivation relationaccess path

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)

Related Items

Tile formats for located and mobile systems.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• CCS expressions, finite state processes, and three problems of equivalence
• A theory of processes with localities
• A static view of localities
• Distributed bisimulations
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• Proved trees

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