On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Semantic evaluation from left to right
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The importance of the service concept in the design of data communications protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
A methodology for protocol design and specification based on an extended state transition model
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A constructive approach to reliable synchronization code
ICSE '79 Proceedings of the 4th international conference on Software engineering
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
SDE: Incremental Specification and Development of Communications Software
IEEE Transactions on Computers - Special issue on protocol engineering
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Software process description using LOTOS and its enaction
ICSE '94 Proceedings of the 16th international conference on Software engineering
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS
Proceedings of the 14th international symposium on Systems synthesis
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
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
Performance modeling of distributed collaboration services
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |