Implementing a Real-Time Process Algebra in HOL.

Richard Gerber Elsa L. Gunter Insup Lee

Published in: TPHOLs (1991)

Keyphrases

process algebra
real time
formal methods
formal specification
concurrent systems
model checking
asynchronous circuits
artificial intelligence
machine learning
fine grained
theorem prover
web services composition
knowledge acquisition
temporal logic
grid workflow
concurrent programs