Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming
Protocol conversion—correctness problems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Current trends in concurrency. Overviews and tutorials
Technical aspects of data communication (3rd ed.)
Technical aspects of data communication (3rd ed.)
An exercise in deriving a protocol conversion
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
X.75 internetworking of Datapac and Telenet
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
Draft revised CCITT recommendation X.25
ACM SIGCOMM Computer Communication Review
DOD standard internet protocol
ACM SIGCOMM Computer Communication Review
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
Synthesizing a Protocol Converter From Executable Protocol Traces
IEEE Transactions on Computers - Special issue on protocol engineering
Efficient gateway synthesis from formal specifications
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Increasing the portability and re-usability of protocol code
IEEE/ACM Transactions on Networking (TON)
Possibilities of using protocol converters for NIR system construction
ACM SIGCOMM Computer Communication Review
Mobile Networks and Applications - Special issue: protocols for mobile environments
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
A protocol converter for nonblocking protocols
Integration, the VLSI Journal
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A Model Checking Approach to Protocol Conversion
Electronic Notes in Theoretical Computer Science (ENTCS)
SoC design approach using convertibility verification
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Multi-subsystem protocol architectures: motivation and experience with an adapter-based approach
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Synthesis of interface automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Review: Construction of protocol converters using formal methods
Computer Communications
Protocol converter generation using the STS approach
Computer Communications
Design of simplified protocol converters through protocol complementation
Computer Communications
A Methodology for SIP and SOAP Integration Using Application-Specific Protocol Conversion
ACM Transactions on the Web (TWEB)
| Hi-index | 0.00 |
The problem of achieving communication between two processes across a network or an internetwork is considered. The notion of logical connectivity between processes in a protocol is formalized. The problem of constructing a protocol converter to achieve interoperability between processes that implement different protocols is addressed. A formal model is presented, based on the theory of protocol projection, for reasoning about the semantics of different protocols and conversions between them. Two kinds of converters are presented: memoryless converters and finite-state converters. The construction of some finite-state converters is illustrated, and examples are given.