Login / Signup
Automatic Translation of WS-CDL Choreographies to Timed Automata.
Gregorio Díaz
Juan José Pardo
María-Emilia Cambronero
Valentín Valero
Fernando Cuartero
Published in:
EPEW/WS-FM (2005)
Keyphrases
</>
timed automata
model checking
process algebra
reachability analysis
temporal logic
formal specification
concurrent systems
theorem prover
formal methods
fine grained
theorem proving
real time
artificial intelligence
web services
low cost
real time systems