Synthesizing converters between finite state protocols
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 92, 410-413
- https://doi.org/10.1109/iccd.1991.139932
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Compositional model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Protocol ConversionIEEE Transactions on Communications, 1986
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980