4. PSTV 1984:
Skytop Lodge,
PA,
USA
Yechiam Yemini, Robert E. Strom, Shaula Yemini (Eds.):
Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984.
North-Holland 1985, ISBN 0-444-87676-6 BibTeX
@proceedings{DBLP:conf/pstv/1984,
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Protocol Specification, Testing and Verification IV, Proceedings
of the IFIP WG6.1 Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14,
1984},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1985},
isbn = {0-444-87676-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Protocol Verification Techniques
- Roland Groz, Claude Jard, Claire Lassudrie:
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools.
3-17 BibTeX
- Gerard J. Holzmann:
Backward Symbolic Execution of Protocols.
19-30 BibTeX
- Heiko Krumm, Oswald Drobnik:
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.
31-45 BibTeX
- Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam:
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.
47-56 BibTeX
- Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam:
On Constructing Multi-Phase Communication Protocols.
57-68 BibTeX
- M. H. Sherif, V. Miller, E. Woo:
X.25 Protocol Verification Facility for AT&T No.
1 BibTeX
Packet Switching System (No. 1 PSS). 69-77
- Daniel Schwabe, Ana R. Cavalli:
Temporal Logic Specification of a Virtual Ring LAN Access Protocol.
79-91 BibTeX
- Scott A. Smolka, Ariel J. Frank, Saumya K. Debray:
Testing Protocol Robustness the CCS Way.
93-108 BibTeX
Combined Tools for Design,
Verification and Implementation
- Richard Castanet, Pascal Guitton, Omar Rafiq:
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example.
111-125 BibTeX
- S. Aggarwal, Robert P. Kurshan:
Automated Implementation from Formal Specification.
127-136 BibTeX
- Gregor von Bochmann, Eduard Cerny, G. Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre:
Use of Formal Specifications for Protocol Design, Implementation and Testing.
137-144 BibTeX
Applying Protocol Specification Techniques
Protocol Specification and Verification
- A. Udaya Shankar, Simon S. Lam:
Specification and Verification of Time-Dependant Communication Protocols.
215-226 BibTeX
- Ed Brinksma, Günter Karjoth:
A Specification of the OSI Transport Service in LOTOS.
227-251 BibTeX
- Wolfgang Jürgensen, Son T. Vuong:
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.
253-277 BibTeX
- Luigi Logrippo, Didier Simon, Hasan Ural:
Executable Description of the OSI Transport Service in Prolog.
279-293 BibTeX
- Elie Najm:
Verification of Distributed Systems Using Structured Communicating Agents Nets.
295-308 BibTeX
- Joachim Parrow, Rune Gustavsson:
Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic.
309-348 BibTeX
- Mats Daniels, Hans A. Hansson:
An ASYL/EFSM Description of the ISO Transport Protocol.
349-373 BibTeX
- Deepinder P. Sidhu, Thomas P. Blumer:
Some Problems with the Specification of the Military Standard Transmission Control Protocol.
375-381 BibTeX
- Björn Pehrson, Michael Yoeli:
A Communicating System Net Model for Specification and Verification of Distributed Nets.
383-394 BibTeX
- Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti:
Specification and Implementation of the MONDAN System.
395-422 BibTeX
- Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo:
Modelling and Specifying a Presentation Protocol by Temporal Ordering.
423-440 BibTeX
Protocol Synthesis
Performance Analysis
Protocol Testing
Additional Papers
Copyright © Sat May 16 23:35:25 2009
by Michael Ley (ley@uni-trier.de)