Structured Co-spans: An Algebra of Interaction Protocols.

Jos Luiz Fiadeiro, Vincent Schmitt

Browse the full CALCO paper archive.