Type Systems for Distributed Programs: Session Communication.
Ornela DardhaPublished in: Bull. EATCS (2015)
Keyphrases
- distributed systems
- distributed computation
- single point of failure
- communication overhead
- computer systems
- distributed environment
- global knowledge
- distributed object
- open systems
- communication cost
- cooperative
- spatially distributed
- distributed network
- data intensive
- distributed database systems
- computer networks
- complex systems
- computing environments
- communication protocol
- information sharing
- retrieval systems
- fully distributed
- cyber physical systems
- knowledge based systems
- expert systems
- database systems
- autonomous mobile