Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination.

Jos C. M. Baeten

Published in: EXPRESS (2000)

Keyphrases

petri net
process algebra
concurrent systems
model checking
formal specification
formal methods
asynchronous circuits
database
temporal logic
communication protocols
grid workflow
concurrent programs