Fairness and Observed Communication Semantics for Session-Typed Languages.
Ryan KavanaghPublished in: CoRR (2021)
Keyphrases
- highly expressive
- expressive power
- database query languages
- databases
- communication systems
- agent communication
- formal semantics
- lambda calculus
- database languages
- formal language
- operational semantics
- database systems
- specification languages
- speech acts
- cross lingual
- communication networks
- information sharing
- higher order
- multi party
- language independent
- communication cost
- constraint language
- conceptual model
- object oriented