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
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
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
Mobile Networks and Applications - Special issue: protocols for mobile environments
Review paper: Synthesis of communications protocol converters: survey and assessment
Computer Communications
| Hi-index | 0.00 |