Modular Specification of Concurrent Systems with Observational Logic.

Published in: WADT (1998)

Keyphrases

concurrent systems
transition systems
process algebra
temporal logic
formal specification
distributed systems
model checking
petri net
asynchronous circuits
model checker
linear temporal logic
modal logic
modular structure
logic programming
specification language
formal methods
derivation rules
data quality