Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.

Juan José Pardo Valentín Valero Ruiz Fernando Cuartero Diego Cazorla

Published in: APSEC (2001)

Keyphrases

process algebra
state space
formal specification
petri net
formal methods
concurrent systems
real time
query language
software engineering
web services composition