default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th PSTV 1984: Skytop Lodge, PA, USA
- Yechiam Yemini, Robert E. Strom, Shaula Yemini:
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
Protocol Verification Techniques
- Roland Groz, Claude Jard, Claire Lassudrie:
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. PSTV 1984: 3-17 - Gerard J. Holzmann:
Backward Symbolic Execution of Protocols. PSTV 1984: 19-30 - Heiko Krumm, Oswald Drobnik:
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. PSTV 1984: 31-45 - Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam:
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. PSTV 1984: 47-56 - Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam:
On Constructing Multi-Phase Communication Protocols. PSTV 1984: 57-68 - Mostafa Hashem Sherif, V. Miller, E. Woo:
X.25 Protocol Verification Facility for AT&T No.1 Packet Switching System (No. 1 PSS). PSTV 1984: 69-77 - Daniel Schwabe, Ana R. Cavalli:
Temporal Logic Specification of a Virtual Ring LAN Access Protocol. PSTV 1984: 79-91 - Scott A. Smolka, Ariel J. Frank, Saumya K. Debray:
Testing Protocol Robustness the CCS Way. PSTV 1984: 93-108
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. PSTV 1984: 111-125 - S. Aggarwal, Robert P. Kurshan:
Automated Implementation from Formal Specification. PSTV 1984: 127-136 - Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre:
Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV 1984: 137-144
Applying Protocol Specification Techniques
- Isabelle Valet, Dominique Rerat:
Formal Description of the Nadir Transport Protocol Using the PDIL Language. PSTV 1984: 147-163 - Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth:
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. PSTV 1984: 165-192 - Marshall T. Rose:
Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets. PSTV 1984: 193-211
Protocol Specification and Verification
- A. Udaya Shankar, Simon S. Lam:
Specification and Verification of Time-Dependant Communication Protocols. PSTV 1984: 215-226 - Ed Brinksma, Günter Karjoth:
A Specification of the OSI Transport Service in LOTOS. PSTV 1984: 227-251 - Wolfgang Jürgensen, Son T. Vuong:
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. PSTV 1984: 253-277 - Luigi Logrippo, Didier Simon, Hasan Ural:
Executable Description of the OSI Transport Service in Prolog. PSTV 1984: 279-293 - Elie Najm:
Verification of Distributed Systems Using Structured Communicating Agents Nets. PSTV 1984: 295-308 - Joachim Parrow, Rune Gustavsson:
Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic. PSTV 1984: 309-348 - Mats Daniels, Hans A. Hansson:
An ASYL/EFSM Description of the ISO Transport Protocol. PSTV 1984: 349-373 - Deepinder P. Sidhu, Thomas P. Blumer:
Some Problems with the Specification of the Military Standard Transmission Control Protocol. PSTV 1984: 375-381 - Björn Pehrson, Michael Yoeli:
A Communicating System Net Model for Specification and Verification of Distributed Nets. PSTV 1984: 383-394 - Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti:
Specification and Implementation of the MONDAN System. PSTV 1984: 395-422 - Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo:
Modelling and Specifying a Presentation Protocol by Temporal Ordering. PSTV 1984: 423-440
Protocol Synthesis
- Robert E. Strom, Shaula Yemini:
Synthesizing Distributed Protocols from Serial Programs. PSTV 1984: 443-456 - David P. Anderson, Lawrence H. Landweber:
Protocol Specification by Real-Time Attribute Grammars. PSTV 1984: 457-465 - Stanislaw Budkowski:
Generation of a Global System Description from the Descriptions of Cooperating Subsystems. PSTV 1984: 467-487
Performance Analysis
- Tommaso Bolognesi, Harry Rudin:
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms. PSTV 1984: 491-513 - Harry Rudin:
An Improved Algorithm for Estimating Protocol Performance. PSTV 1984: 515-525 - Pieter S. Kritzinger:
Analyzing the Time Efficiency of a Communication Protocol. PSTV 1984: 527-539 - Nihal Nounou, Yechiam Yemini:
Algebraic Specification-Based Performance Analysis of Communication Protocols. PSTV 1984: 541-560 - Rami R. Razouk, Charles V. Phelps:
Performance Analysis Using Timed Petri Nets. PSTV 1984: 561-576 - Guy Juanole:
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. PSTV 1984: 577-600
Protocol Testing
- Jürgen Hänle:
The Teletex Test System PETRUS. PSTV 1984: 603-610 - Richard J. Linn Jr.:
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. PSTV 1984: 611-621 - J. Bremer, G. Mondvai, Katalin Tarnay, J. Tibor:
Some Experiences with Test Sequence Generation in Application Layer. PSTV 1984: 623-636 - H. X. Zeng, D. Rayner:
Gateway Testing Technique. PSTV 1984: 637-655 - John R. Pavel, Dermot J. Dwyer:
Some Experiences of Testing Protocol Implementations. PSTV 1984: 657-677
Additional Papers
- Wojciech Cellary, Maciej Stroinski:
Performance Parameters of Computer Network Protocols Refered to Their Formal Model. PSTV 1984: 681-696 - Michal Sajkowski:
Protocol Verification Techniques: Status Quo and Perspectives. PSTV 1984: 697-720
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 2024-12-13 19:00 CET 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:
