Verification of Sequential and Concurrent Programs (Krzysztof R. Apt and Ernst-Rudiger Olderog).

Published in: SIAM Rev. (1993)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
formal methods
concurrent programming
asynchronous circuits
formal specification
petri net
temporal logic
concurrent processes
real time
artificial intelligence
distributed systems