J. Strother Moore. A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. Formal Asp. Comput., 6(1):60-91, 1994. [doi]
@article{Moore94-0, title = {A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol}, author = {J. Strother Moore}, year = {1994}, doi = {10.1007/BF01211081}, url = {http://dx.doi.org/10.1007/BF01211081}, researchr = {https://researchr.org/publication/Moore94-0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {6}, number = {1}, pages = {60-91}, }