Distributed Computing Column 84: Perspectives on the Paper "CCS Expressions, Finite State Processes, and Three Problems of Equivalence".
Dan AlistarhPublished in: SIGACT News (2021)
Keyphrases
- distributed computing
- finite state
- cloud computing
- markov chain
- provide efficient solutions
- distributed environment
- markov decision processes
- partially observable markov decision processes
- model checking
- mobile agents
- geographically distributed
- fault tolerance
- decision problems
- databases
- optimal policy
- multi agent systems
- natural language
- operating system
- data management
- distributed systems
- search algorithm
- information systems
- tree automata
- mobile communications
- artificial intelligence