A fast prototype tool for parallel reactive systems.

Heping He Hussein Zedan

Published in: J. Syst. Archit. (1996)

Keyphrases

reactive systems
model checking
database
temporal logic
parallel implementation
web services
petri net
control flow
databases
real time systems