Problem-Oriented Logical Specifications of Communication Services and Protocols.

Heiko Krumm, Oswald Drobnik

Browse the full ICCC paper archive.