A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Three partition refinement algorithms
SIAM Journal on Computing
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A protocol conversion software toolkit
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI 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
An On-Line Edge-Deletion Problem
Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
IEEE Transactions on Software Engineering
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Review paper: Synthesis of communications protocol converters: survey and assessment
Computer Communications
Design of simplified protocol converters through protocol complementation
Computer Communications
Hi-index | 0.00 |