Formal Methods in Communication Protocol Design

G. Bochmann, C. Sunshine
1980 IRE Transactions on Communications Systems  
serves as Vice-chairman (United States) of IFIP Working Group 6.4 on Local Computer Networks.
doi:10.1109/tcom.1980.1094685 fatcat:jrxd6je3hjgmraifmvyxxcbfke