Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities.

Antti Puhakka

Browse the full ICECCS paper archive.