Reactive C: An Extension of C to Program Reactive Systems.

Frédéric Boussinot

Published in: Softw. Pract. Exp. (1991)

Keyphrases

reactive systems
control flow
model checking
information flow
temporal logic
formal methods
petri net
state machines
data flow
test cases
real time systems
error rate
network traffic
communication networks
process model
decision making
social networks