Automatic synthesis of protocol specifications from service specifications
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. se 11, 615-621
- https://doi.org/10.1109/pccc.1991.113871
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Synthesizing protocol specifications from service specifications in FSM modelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Survey of protocol verification techniques based on finite state machine modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Synthesis of communication protocols: survey and assessmentIEEE Transactions on Computers, 1991
- An interactive protocol synthesis algorithm using a global state transition graphIEEE Transactions on Software Engineering, 1988
- An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 ProtocolIEEE Transactions on Software Engineering, 1985
- Synthesis of Communicating Finite-State Machines with Guaranteed ProgressIEEE Transactions on Communications, 1984
- On the Construction of Submodule Specifications and Communication ProtocolsACM Transactions on Programming Languages and Systems, 1983
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980