- Record: found
- Abstract: not found
- Book Chapter: not found
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
Soundness Verification of Business Processes Specified in the Pi-Calculus
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 references15
- Record: found
- Abstract: not found
- Book: not found
A Calculus of Communicating Systems
Robin Milner (1980)
