- Record: found
- Abstract: not found
- Book Chapter: not found
The SCEL Language: Design, Implementation, Verification
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 references33
- Record: found
- Abstract: not found
- Book Chapter: not found
Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems
Antony Rowstron, Peter Druschel (2001)
- Record: found
- Abstract: not found
- Book Chapter: not found
The Ponder Policy Specification Language
Nicodemos Damianou, Naranker Dulay, Emil C. Lupu … (2001)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Concurrent constraint programming
Vijay Saraswat, Martin C Rinard (1990)