Modular Verification for Shared-Variable Concurrent Programs.

Published in: CONCUR (1996)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
concurrent programming
formal specification
databases
distributed systems
artificial intelligence
high level
general purpose
web applications