Formal methods for protocol conversion

This publication has 24 references indexed in Scilit:

• A relational notation for state transition systems
  IEEE Transactions on Software Engineering, 1990
• Interconnecting heterogeneous computer systems
  Communications of the ACM, 1988
• Modular verification of asynchronous networks
  Published by Association for Computing Machinery (ACM) ,1987
• Submodule construction as equation solving in CCS
  Published by Springer Nature ,1987
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• Data communications: The implications of communication systems for protocol design
  IBM Systems Journal, 1987
• OSI-SNA interconnections
  IBM Systems Journal, 1987
• A formal protocol conversion method
  ACM SIGCOMM Computer Communication Review, 1986
• Conversion Between the TCP and ISO Transport Protocols as a Method of Achieving Interoperability Between Data Communications Systems
  IEEE Journal on Selected Areas in Communications, 1986
• Protocol Conversion
  IEEE Transactions on Communications, 1986