Formalizations and algorithms for optimized parallel protocol implementation.

Stefan Leue, Philippe Oechslin

Browse the full ICNP paper archive.