Publication:4738298
From MaRDI portal
zbMath1060.68082MaRDI QIDQ4738298
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2300/23000244.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Compositional synthesis of asynchronous automata, Medians in median graphs and their cube complexes in linear time, A counterexample to Thiagarajan's conjecture on regular event structures, Distributed Asynchronous Automata