Login / Signup
Time and Probability in Process Algebra.
Suzana Andova
Published in:
AMAST (2000)
Keyphrases
</>
process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
web services composition
concurrent programs
real time
petri net
grid workflow
communication protocols
formal languages
case study
temporal logic