Kenneth L. Calvert, Simon S. Lam. Formal Methods for Protocol Conversion. IEEE Journal on Selected Areas in Communications, 8(1):127-142, 1990.
@article{CalvertL90:0, title = {Formal Methods for Protocol Conversion}, author = {Kenneth L. Calvert and Simon S. Lam}, year = {1990}, tags = {protocol}, researchr = {https://researchr.org/publication/CalvertL90%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Journal on Selected Areas in Communications}, volume = {8}, number = {1}, pages = {127-142}, }