Verification of Non-Terminating Concurrent Programs.

Ernest J. H. Chang

Published in: ICDCS (1985)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
concurrent programming
formal methods
temporal logic
concurrent processes
formal specification
databases
knowledge representation
energy consumption