A theory of processes with localities
From MaRDI portal
Recommendations
- Process algebras with localities.
- Locality based semantics for process algebras
- A logical theory of localization
- On locality and the exchange law for concurrent processes
- Algebraic properties of processes for Local Action Systems
- From place nets to local process models
- A locality principle for system theory.
- Processes with prescribed local regularity
- Locality in theory space
- Notions of locality and their logical characterizations over finite models
Cites work
- A calculus of communicating systems
- A static view of localities
- A theory of processes with localities
- Algebra of communicating processes with abstraction
- Algebraic laws for nondeterminism and concurrency
- Axiomatising Finite Concurrent Processes
- Distributed bisimulations
- Flowgraphs and Flow Algebras
- scientific article; zbMATH DE number 4090776 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 86276 (Why is no real title available?)
- scientific article; zbMATH DE number 176129 (Why is no real title available?)
Cited in
(45)- Concurrent histories: a basis for observing distributed systems
- On performance congruences for process algebras
- A theory of processes with localities
- A static view of localities
- Comparing locality and causality based equivalences
- Automatizing parametric reasoning on distributed concurrent systems
- Locality based semantics for process algebras
- Local invariance
- A locality principle for system theory.
- Dynamic connectors for concurrency
- Truly concurrent constraint programming
- A format for semantic equivalence comparison
- Architectural CCS
- Ensuring liveness properties of distributed systems: open problems
- A calculus of branching processes
- Nested-unit Petri nets
- A stable non-interleaving early operational semantics for the pi-calculus
- Process algebras with localities.
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
- Distributed bisimulations
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- scientific article; zbMATH DE number 176129 (Why is no real title available?)
- scientific article; zbMATH DE number 1512709 (Why is no real title available?)
- Distributed processes and location failures
- Extended transition systems for parametric bisimulation
- Distribution and locality of concurrent systems
- Causality for mobile processes
- scientific article; zbMATH DE number 4119607 (Why is no real title available?)
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
- Encoding distributed areas and local communication into the -calculus
- Analysing mutual exclusion using process algebra with signals
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- Read-write causality
- A parametric approach to localities
- Proved trees
- A stable non-interleaving early operational semantics for the pi-calculus
- Distributed processes and location failures
- A calculus of mobile agents
- Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
- Store locally, prove globally
- Locality and interleaving semantics in calculi for mobile processes
- Location equivalence in a parametric setting
- Universal axioms for bisimulations
- Observing localities
- Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
This page was built for publication: A theory of processes with localities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1329198)
