A refinement-based process algebra for timed automata.

Stefano Cattani Marta Z. Kwiatkowska

Published in: Formal Aspects Comput. (2005)

Keyphrases

timed automata
process algebra
model checking
temporal logic
formal specification
reachability analysis
concurrent systems
concurrent programs
formal methods
asynchronous circuits
grid workflow
modal logic