Sign in
Abstract Timed Observation and Process Algebra.
Alan Jeffrey
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