Concurrent Realizations of Reactive Systems.

Marek A. Bednarczyk Andrzej M. Borzyszkowski

Published in: CTCS (1999)

Keyphrases

reactive systems
temporal logic
model checking
information flow
petri net
formal methods
random variables
control flow
state machines
mutual exclusion
real time systems
low cost
data flow
distributed databases
smart card
open source
data mining