Complete Axioms for Stateless Connectors.

Roberto Bruni, Ivan Lanese, Ugo Montanari

Browse the full CALCO paper archive.