Distributed execution of bigraphical reactive systems.
Alessio MansuttiMarino MiculanMarco PeressottiPublished in: CoRR (2015)
Keyphrases
- reactive systems
- control flow
- concurrent execution
- computational grids
- real time
- formal methods
- temporal logic
- model checking
- distributed environment
- fault tolerant
- computer networks
- parallel execution
- peer to peer
- multi agent
- petri net
- knowledge based systems
- real time systems
- open source
- supply chain
- data mining
- state machines
- databases