Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.
Frédéric BoniolMartin AdelantadoPublished in: WDAG (1993)
Keyphrases
- reactive systems
- model checking
- temporal logic
- formal methods
- distributed systems
- distributed environment
- information flow
- petri net
- real time systems
- asynchronous communication
- multi agent
- fault tolerant
- control flow
- state machines
- databases
- formal specification
- computer networks
- programming language
- information systems