- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Distributed Semantics and Implementation for Systems with Interaction and Priority
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Article: not found
Distributed snapshots: determining global states of distributed systems
K. Chandy, Leslie Lamport (1985)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
The algebra of connectors: structuring interaction in BIP
Simon Bliudze, Joseph Sifakis (2007)
- Record: found
- Abstract: not found
- Book Chapter: not found
Distributed Semantics and Implementation for Systems with Interaction and Priority
Ananda Basu, Philippe Bidinger, Marius Bozga … (2008)