Abstract is missing.
- An Algebraic Semantics for Message Sequence Chart DocumentsThomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim. 3-18
- Open Estelle - An FDT for Open Distributed SystemsJoachim Thees, Reinhard Gotzhein. 19-36
- A graphical representation and prototype editor for the Formal Description Technique EstelleJustin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski. 37-55
- Protocol Feature InteractionsThomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis. 59-74
- Limits and possibilities of sequential hashing with supertraceJürgen Eckerle, Thomas Lais. 75-90
- Fault-oriented Test Generation for Multicast Routing Protocol DesignAhmed Helmy, Deborah Estrin, Sandeep K. S. Gupta. 93-109
- Issues in conformance testing: multiple semicontrollable interfacesMariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer. 111-126
- Automatic Test Case Generation of Real Protocols: Framework and MethodologyTae-Hyong Kim, Ik-Soon Hwang, Chan-Min Park, Jai-Yong Lee, Sang-Bae Lee. 127-140
- Quality of Service in Integrated NetworksPaul J. Kühn. 143
- Enumeration Protocol in Estelle: an exercise in stepwise developmentPiotr Dembinski. 147-162
- A Design Methodology for the Formal Specification and Verification of Hypermedia DocumentsC. A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes. 163-178
- Frameworks by means of virtual types - exemplified by SDLRolv Broek, Birger Møller-Pedersen. 181-196
- SDL-Pattern based Development of a Communication Subsystem for CANBirgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider. 197-212
- On-the-fly Instantiation of Value-passing ProcessesHuimin Lin. 215-230
- Solving Asynchronous EquationsAlexandre Petrenko, Nina Yevtushenko. 231-247
- Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic VerifiersSérgio Vale Aguiar Campos. 249-263
- SDL specification and verification of universal personal computing: with Object GEODEMaria Törö, Jinsong Zhu, Victor C. M. Leung. 267-282
- Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time SystemGabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano. 283-307
- Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSEToru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki. 309-324
- A Logical Framework for Distributed Systems and Communication ProtocolsJosé Meseguer. 327-333
- Exploiting Symmetry in Protocol TestingJudi Romijn, Jan Springintveld. 337-352
- Towards Automatic Distribution of Testers for Distributed Conformance TestingClaude Jard, Thierry Jéron, Hakim Kahlouche, César Viho. 353-368
- On the Improvement of Estelle Based Automatic ImplementationsO. Catrina, A. Nogai. 371-386
- Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application developmentNikos S. Voros, S. Tsasakou, C. Valderrama, S. Arab, Alexios N. Birbas, Michael K. Birbas, Evaggelinos P. Mariatos, A. Andritsou. 387-403
- Hardware synthesis from protocol specifications in LOTOSKeiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi. 405-420
- Integrating Real Time into Spin: A Prototype ImplementationDragan Bosnacki, Dennis Dams. 423-438
- CMC: A Tool for Compositional Model-Checking of Real-Time SystemsFrançois Laroussinie, Kim Guldstrand Larsen. 439-456
- TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent SystemsMarco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart. 457-467