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
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Interconnecting heterogeneous computer systems
Communications of the ACM
Algebraic theory of processes
An exercise in deriving a protocol conversion
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
NETBLT: a high throughput transport protocol
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
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
Synthesizing communication protocol converter: a model and method
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
A polynomial algorithm for gateway generation from formal specifications
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
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Review: Construction of protocol converters using formal methods
Computer Communications
Protocol converter generation using the STS approach
Computer Communications
Review paper: Synthesis of communications protocol converters: survey and assessment
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 |
A protocol converter mediates the communication between implementations of different protocols, enabling them to achieve some form of useful interaction. The problem of deriving a protocol converter from specifications of the protocols and a desired service can be viewed as the problem of finding the “quotient” of two specifications. We define a class of finite-state specifications and present an algorithm for solving “quotient” problems for the class. The algorithm is applied to an example conversion problem. We also discuss its application in the context of layered network architectures.