Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
David Castro-PerezRaymond HuSung-Shik JongmansNicholas NgNobuko YoshidaPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- communication overhead
- communication cost
- distributed systems
- lightweight
- computer networks
- asynchronous communication
- distributed control
- cooperative
- programming language
- higher order
- fully distributed
- multi party
- distributed computation
- distributed environment
- information dissemination
- peer to peer
- distributed network
- social structures
- endpoints
- open systems
- multi agent
- network nodes
- mobile agents
- source code
- open source
- object oriented
- code examples
- global knowledge
- spatially distributed
- data model
- concurrent processes