A Model for Description of Communication Protocol.

Kazuhiko Chiba, Kazunori Konishi, Akira Kurematsu

Browse the full ICSE paper archive.