Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
OSI service specification with CCITT-SDL
ACM SIGCOMM Computer Communication Review
Service specification and protocol construction for the transport layer
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
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
IEEE Transactions on Software Engineering
On defining the service provided by TCP
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Extending distributed system specifications
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Methodological support for service-oriented design with ISDL
Proceedings of the 2nd international conference on Service oriented computing
Designing Interaction Systems for Distributed Applications
IEEE Distributed Systems Online
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
COSMO: A conceptual framework for service modelling and refinement
Information Systems Frontiers
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Dealing with Active and Stateful Services in the Service-Oriented Architecture
Service-Oriented Computing - ICSOC 2007 Workshops
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
Title model ontology for future internet networks
The future internet
Meeting services and networks in the future internet
The future internet
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Hi-index | 0.00 |