Completeness in Real Time Process Algebra.

Steven Klusener

Published in: CONCUR (1991)

Keyphrases

real time
process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
grid workflow
artificial intelligence
software engineering
general purpose
web services composition
concurrent programs