- Record: found
- Abstract: not found
- Book Chapter: not found
Verification, Model Checking, and Abstract Interpretation
Synchronizability for Verification of Asynchronously Communicating Systems
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 references16
- Record: found
- Abstract: not found
- Book Chapter: not found
Language primitives and type discipline for structured communication-based programming
Kohei Honda, Vasco Vasconcelos, Makoto Kubo (1998)
- Record: found
- Abstract: not found
- Book Chapter: not found
Context-Bounded Analysis of Concurrent Queue Systems
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Analysis of interacting BPEL web services
Jianwen Su, Xiang Fu, Tevfik Bultan (2004)