Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Nobuko YoshidaVasco Thudichum VasconcelosPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- higher order
- programming language
- communication protocols
- expert systems
- communication protocol
- communication channels
- building blocks
- communication technologies
- communication networks
- high level
- strongly typed
- open systems
- information sharing
- pairwise
- computer networks
- high order
- complex systems
- programming environment
- distributed systems
- software engineering
- distributed computation
- asynchronous communication
- scripting language
- oriented programming
- artificial intelligence
- concurrent programming