An object oriented model for parallel and reactive systems.

Ammar Attoui Michel Schneider

Published in: RTSS (1991)

Keyphrases

reactive systems
temporal logic
model checking
parallel processing
petri net
information flow
control flow
parallel implementation
real time
artificial intelligence
formal methods
state machines
software development
open source
multi agent
knowledge base
real world