Towards a Session Logic for Communication Protocols.

Florin Craciun, Tibor Kiss, Andreea Costea

Browse the full ICECCS paper archive.