From Banach to Milner: metric semantics for second order communication and concurrency.
Jaco de BakkerFranck van BreugelPublished in: Proof, Language, and Interaction (2000)
Keyphrases
- communication networks
- formal semantics
- higher order
- logic programming
- concurrent programming
- database systems
- agent communication
- communication overhead
- metric space
- information sharing
- concurrency control
- communication protocols
- distance metric
- communication systems
- communication technologies
- quality metrics
- high order
- speech acts
- communication protocol
- similarity search