Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing.
Ehud ShapiroPublished in: CoRR (2021)
Keyphrases
- distributed computing
- transition systems
- protocol stack
- multi agent
- concurrent systems
- distributed systems
- model checking
- temporal logic
- embedded systems
- wireless communication
- distributed environment
- communication protocols
- finite state
- grid computing
- tcp ip
- fault tolerance
- cloud computing
- multiagent systems
- practical reasoning
- quality of service
- cooperative
- mobile agents
- control flow
- intelligent agents
- virtual machine
- reactive systems
- multi agent systems
- peer to peer
- resource sharing
- artificial intelligence
- load balancing
- response time
- markov chain
- formal specification
- wireless sensor networks
- digital libraries
- data flow
- computing environments
- database
- markov decision processes