Keyphrases
- reactive systems
- control flow
- distributed systems
- distributed environment
- petri net
- computational grids
- model checking
- peer to peer
- mobile agents
- information flow
- information systems
- concurrent execution
- data flow
- fault tolerant
- computer networks
- parallel execution
- distributed databases
- commit protocols
- process model
- state machines
- databases
- concurrent processes