default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd PSTV 1982: Idyllwild, CA, USA
- Carl A. Sunshine:
Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. North-Holland 1982, ISBN 0-444-86481-4
Temporal Logic
- Richard L. Schwartz, P. M. Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19 - Krishan K. Sabnani, Mischa Schwartz:
Verification of a Multidestination Protocol Using Temporal Logic. PSTV 1982: 21-41 - James F. Kurose:
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. PSTV 1982: 43-62 - Friedrich H. Vogt:
Event-Based Temporal Logic Specifications of Services and Protocols. PSTV 1982: 63-73
State Transition Specification Methods
- Jonathan Billington:
Specification of the Transport Service Using Numerical Petri Nets. PSTV 1982: 77-100 - Jean-Pierre Ansart, Omar Rafiq, V. Chari:
PDIL-Protocol Description and Implementation Language. PSTV 1982: 101-112 - Gerald A. Simon, David J. Kaufman:
An Extended Finite State Machine Approach to Protocol Specification. PSTV 1982: 113-133 - Thomas F. Piatkowski, Lap-Kin Ip, Dayun He:
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. PSTV 1982: 135-160 - Thomas P. Blumer, John C. Burruss:
Generating a Service Specification of a Connection Management Protocol. PSTV 1982: 161-170 - Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya:
Some Experience with the Use of Formal Specifications. PSTV 1982: 171-185
Other Specification Methods
- Yechiam Yemini, James F. Kurose:
Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?. PSTV 1982: 189-196 - Rami R. Razouk:
Modeling X.25 Using the Graph Model of Behavior. PSTV 1982: 197-214 - A. Udaya Shankar, Simon S. Lam:
On Time-Dependent Communication Protocols and Their Projections. PSTV 1982: 215-235 - Richard W. Watson:
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. PSTV 1982: 237-247 - Gesualdo Le Moli, Sergio Palazzo, Gaetano Andreoni:
A Model of Entity for the Definition of Protocols, Services, and Interfaces. PSTV 1982: 249-258
Protocol Synthesis
- Rainer Prinoth:
An Algorithm to Construct Distributed Systems from State-Machines. PSTV 1982: 261-282 - Deepinder P. Sidhu:
Protocol Design Rules. PSTV 1982: 283-300
Activity Reports
- Luigi Logrippo, Robert L. Probert:
Protocol/Specification-Level Validation. PSTV 1982: 303-304 - Yogen K. Dalal:
Service Specifications for Recursively-Defined Protocols. PSTV 1982: 305-308 - Rune Gustavsson, Joachim Parrow, Björn Pehrson:
An Integrated Approach to Protocol Design Research. PSTV 1982: 309-310 - Raimo Kujansuu, Leo Ojala, Heikki Tuominen:
The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313
Verification Methods
- Mohamed G. Gouda, Bijendra N. Jain:
Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. PSTV 1982: 317 - Yao-Tin Yu, Mohamed G. Gouda:
Deadlock Detection for a Class of Communicating Finite State Machine. PSTV 1982: 319 - Hassan K. Reghbati:
Performance Analysis of Message-Based Systems. PSTV 1982: 321-324 - Gérard Berthelot, Richard Terrat:
Petri Nets Theory for the Correctness of Protocols. PSTV 1982: 325-342 - Simon S. Lam, A. Udaya Shankar:
An Illustration of Protocol Projections. PSTV 1982: 343-360 - Colin H. West:
Applications and Limitations of Automated Protocol Validation. PSTV 1982: 361-371 - Carl A. Sunshine:
Experience with Four Automated Verification Systems. PSTV 1982: 373-379
Combined Specification and Verification
- Gerard J. Holzmann:
Algebraic Validation Methods-A Comparison of Three Techniques. PSTV 1982: 383-390 - Gary Jones:
The Total Correctness of Communication Protocols. PSTV 1982: 391-400 - William T. Overman, Stephen D. Crocker:
Verification of Concurrent Systems: Function and Timing. PSTV 1982: 401-409 - Benedetto L. DiVito:
Integrated Methods for Protocol Specification and Verification. PSTV 1982: 411-433 - Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn:
Modeling a Network Protocol in AFFIRM and Ada. PSTV 1982: 435-450 - Wulf L. Bauerfeld:
A Hybrid Model for Protocols and Services: Verification and Simulation by a Modified Depth-First Search Algorithm. PSTV 1982: 451-464 - Michel Diaz:
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. PSTV 1982: 465-510
Testing and Compliance Checking
- J. Stephen Nightingale:
Protocol Testing Using A Reference Implementation. PSTV 1982: 513-522 - Jean-Pierre Ansart:
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation. PSTV 1982: 523-528 - Jean-Pierre Ansart, J. Damidau:
CERBERE, A Tool to Keep an Eye on High Level Protocols. PSTV 1982: 529-537 - David Rayner:
A System for Testing Protocol Implementations. PSTV 1982: 539-554 - Behçet Sarikaya, Gregor von Bochmann:
Some Experience with Test Sequence Generation for Protocols. PSTV 1982: 555-567
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-03 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
