Formal languages and their relation to automata
Formal languages and their relation to automata
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
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)
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
IEEE Transactions on Software Engineering
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
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 semantic translation method for data communication protocols
Journal of Systems and Software
A Methodology for SIP and SOAP Integration Using Application-Specific Protocol Conversion
ACM Transactions on the Web (TWEB)
| Hi-index | 0.01 |
The need for the protocol conversion has been recognized with the proliferation of heterogeneous networks. From a formal viewpoint, we regard that problem as generating a protocol which satisfies the properties of the conversion. In this paper, we prove that, one can determine whether a converter exists, for some protocol classes, given protocols in the form of communicating finite automata, Moreover, we give a construction method for such a converter for those classes, and derive an upper bound of the computational complexity of the construction algorithm.