- Record: found
- Abstract: not found
- Book Chapter: not found
A Decade of Concurrency Reflections and Perspectives
Verification tools for finite-state concurrent 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 references38
- Record: found
- Abstract: not found
- Article: not found
A lattice-theoretical fixpoint theorem and its applications
Alfred Tarski (1955)
- Record: found
- Abstract: not found
- Article: not found
The complexity of propositional linear temporal logics
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Checking that finite state concurrent programs satisfy their linear specification
Amir Pnueli, Orna Lichtenstein (1985)