Fairness and communication-based semantics for session-typed languages.
Ryan KavanaghPublished in: Inf. Comput. (2022)
Keyphrases
- highly expressive
- formal semantics
- language independent
- speech acts
- expressive power
- formal language
- communication systems
- specification languages
- database query languages
- game theory
- website
- resource allocation
- databases
- social networks
- formal languages
- agent communication
- higher order
- logic programming
- communication networks
- information sharing
- target language
- information extraction
- multi agent systems
- operational semantics
- constraint language
- conceptual model
- database languages
- information retrieval