Login / Signup
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.
Florence Maraninchi
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
process algebra
reactive systems
model checking
formal methods
temporal logic
concurrent systems
formal specification
concurrent programs
asynchronous circuits
grid workflow
petri net
knowledge based systems
high level
artificial intelligence
knowledge acquisition
case study
information systems