Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination.

Jos C. M. Baeten

Published in: Math. Struct. Comput. Sci. (2003)

Keyphrases

petri net
process algebra
concurrent systems
formal specification
web services composition
asynchronous circuits
web service composition
real time
information systems
database systems
service composition
formal methods