Skip to content

A Formal Specification Technique for Communication Protocol.

Layuan Li

Year1989
ProceedingsINFOCOM

Browse the full INFOCOM paper archive.