Publication:4791268
From MaRDI portal
zbMath1006.68094MaRDI QIDQ4791268
Publication date: 6 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540184.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Computation in networks of passively mobile finite-state sensors, True-concurrency probabilistic models: Markov nets and a law of large numbers, True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures, Probabilistic event structures and domains, Probabilistic π-Calculus and Event Structures