Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.
Paul CaspiAlain GiraultDaniel PilaudPublished in: IEEE Trans. Software Eng. (1999)
Keyphrases
- reactive systems
- state machines
- power law
- parallel algorithm
- model checking
- temporal logic
- parallel processing
- probability distribution
- databases
- information flow
- shared memory
- formal methods
- social networks
- petri net
- relational databases
- parallel computing
- database systems
- real time systems
- recurrent networks
- case study