Modular Verification of Concurrent Programs.

Brent Hailpern Susan S. Owicki

Published in: POPL (1982)

Keyphrases

concurrent programs
process algebra
model checking
concurrent systems
asynchronous circuits
temporal logic
concurrent programming
formal specification
formal methods
source code
concurrent processes
web applications
petri net