Abstract Timed Observation and Process Algebra.

Published in: CONCUR (1991)

Keyphrases

process algebra
petri net
concurrent systems
formal specification

asynchronous circuits
model checking
formal methods
concurrent programs

web services composition
communication protocols
temporal logic

machine learning
grid workflow
formal languages