Login / Signup
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.
Willem P. de Roever
Frank S. de Boer
Ulrich Hannemann
Jozef Hooman
Yassine Lakhnech
Mannes Poel
Job Zwiers
Published in:
FBT (2000)
Keyphrases
</>
concurrent programs
process algebra
concurrent systems
model checking
computer science
concurrent programming
web applications
asynchronous circuits
knowledge base
distributed systems
petri net
computing systems
formal methods