Compiling process algebraic specifications into timed automata.

Carl K. Chang Yi-Te Tseng Ugo A. Buy

Published in: COMPSAC (1997)

Keyphrases

timed automata
high level
data sets
artificial intelligence
database systems
low cost
process model
development process
reachability analysis