Publication:3152830
From MaRDI portal
zbMath1054.93037MaRDI QIDQ3152830
Publication date: 2002
equivalence; distributed systems; bisimulation; language equivalence; formal languages; transition systems; state-space isomorphism
93A14: Decentralized systems
93C65: Discrete event control/observation systems
93B50: Synthesis problems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Guaranteed global performance through local coordinations, Controlling loosely cooperating processes, Contracts for cross-organizational workflows as timed dynamic condition response graphs, Semantics of Deterministic Shared-Memory Systems