Real Time Process Algebra.

Jos C. M. Baeten Jan A. Bergstra

Published in: Formal Aspects Comput. (1991)

Keyphrases

real time
process algebra
asynchronous circuits
model checking
formal specification
formal methods
concurrent systems
web services composition
grid workflow