A Multiparadigm Language for Reactive Systems.

Muriel Jourdan Fabienne Lagnier Florence Maraninchi Pascal Raymond

Published in: ICCL (1994)

Keyphrases

reactive systems
temporal logic
information flow
programming language
model checking
natural language
language learning
control flow
formal methods
petri net
distributed databases
data mining
knowledge representation
data flow