Abstract is missing.
- Methodological Objectives for Formal Description TechniquesManfred Broy. 1-16
- How Expressive Are LOTOS Behaviour Expressions?Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini. 17-32
- A Temporal Process AlgebraMatthew Hennessy, Tim Regan. 33-48
- A Hoare-style Proof System for LOTOSS. Gallouzi, Luigi Logrippo, Abdellatif Obaid. 49-62
- Synchronic Distance in Process AlgebraHan Zuidweg. 63-77
- Rewrite Systems for Protocol Specification and VerificationS. Ramanathan, G. Sivakumar. 79-94
- Verifying Bisimulations On the Fly Jean-Claude Fernandez, Laurent Mounier. 95-110
- An Approach to Specifying and Synthesizing Communicating ProcessesM. Hakan Erdogmus, Robert de B. Johnston. 111-126
- A Compilation of Algebraic Processes Based on Extended-Action DerivationGünter Karjoth. 127-140
- Translation from TTCN to LOTOS and the Validation of Test CasesMartin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba. 141-155
- Formal Methods to Assist Conformance Testing. A Case StudyClazien D. Wezeman, S. Batley, J. Lynch. 157-174
- From Estelle Specifications to Industrial Test Suites, Using and Empirical ApproachMarc Phalippou, Roland Groz. 175-190
- Test Case Generation for Protocols Specified in EstelleWoojik Chun, Paul D. Amer. 191-206
- Conformance Testing Based on Formal MethodsDieter Hogrefe. 207-222
- L.0: A Language for Modeling and Prototyping Communications SoftwareE. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi. 223-238
- Protocol Analysis Using a Timed Version of SDLFalko Bause, Peter Buchholz. 239-254
- Step-wise Refinement Design Example Using LOTOSLuís Ferreira Pires, Wanderley Lopes de Souza. 255-262
- A Bus Instrumentation Protocol Specified in LOTOSPierre Azéma, Khalil Drira, François Vernadat. 263-269
- Experience in Validating Protocol Integration Using EstelleJean-Marc Jézéquel. 271-278
- Transferring Formal Techniques to IndustryRoger Duke, Gordon A. Rose, Graeme Smith. 279-286
- OSI Testing Environment Based on the Standardized FormalismsKotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno. 287-294
- Support for ASN.1 within a Protocol Testing EnvironmentMichael Sample, Gerald W. Neufeld. 295-302
- Distributed Observation and FIFO QueuesRachida Dssouli, Reine Fournier, Gregor von Bochmann. 303-310
- Concurrent Modelling in LOTOS as a Solution to Real Time ProblemsJ. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto. 311-318
- The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOSM. Gamble, C. R. Taylor. 319-326
- Experience in the Development of an ISDN Layer 3 Service in LOTOSJosefina Navarro, Pablo San Martin. 327-336
- Use of Estelle, LOTOS and ASN.1 in One ProjectJuan A. Saras, Julio Berocal, Juan Riera. 337-343
- Formal Specification and Verification of a Network Independent Atomic Multicast ProtocolM. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron. 345-352
- Extending SDL with a Procedural Data ConceptAnders Olsen. 353-360
- Interfacing ASN.1 and Estelle: A Practical ApproachPiotr Dembinski. 361-368
- Automatic Translation of Time Petri Nets into Estelle DescriptionA. B. Alkhechi, Stanislaw Budkowski. 369-376
- Adding Interaction Sets to EstelleRichard L. Tenney. 377-382
- The SRTS Experience: Using TOPO for LOTOS Design and RealizationTomás de Miguel, Tomás Robles, Joaquín Salvachúa, Arturo Azcorra. 383-394
- Stepwise Production of an SDL DescriptionOve Faergemand. 395-410
- On the Design and Formal Specification of a Transaction Processing ProtocolMarten van Sinderen, Ing Widya. 411-426
- ODP: The Next Target for the Applciation of FDTsJean-Bernard Stefani. 427-442
- Process Topology DiagramsJosef Hinterplattner, Heinrich Nirschl, Heinz Saria. 443-458
- Graphical Composition Theorems for Parallel and Hiding OperatorsTommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén. 459-470
- On the Technology Transfer of Formal Methods: An Experience on LOTOSGonzalo León. 471-486
- Desing, Implementation and Validation of a Multi-Peer Protocol Using EstelleMartine Guilmet, Philippe Thomas, Bruno Traverson. 487-502
- Specifying the Xpress Transfer Protocol Using Estelle and ValiraY. T. Cheung, J. William Atwood. 503-517
- TA-2: A Prototype Analysing Dynamic SDL PropertiesAnders Ek, Jan Ellsberger. 519-522
- A LOTOS Interpreter for Simulating Real-Time BehaviourColin J. Fidge. 523-526
- Some Experiments Using Term Rewriting Techniques for ConcurrencyCarron Kirkwood, Kathy Norrie. 527-530
- ASN.1 and Estelle Implementation Support ToolsGregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld. 531-534
- A LOTOS Simulator in OBJKazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi. 535-538
- One2One - A Tool for Translating ASN.1 to ACT ONEF. Brady, A. Boshier, D. Pitt, B. Szczygiel. 539-542
- NIST Integrated Tool Set for EstelleRachid Sijelmassi, Brett Strausser. 543-546
- An Executor for Graphical LOTOSTo-Yat Cheung, Yucheng Ye. 547-550
- Protocol Visualization of Estelle SpecificationsDarren New, Paul D. Amer. 551-554
- Automatic Code Generation for SDL to C++ for an Integrated Software Development Support SystemKou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa. 555-558
- The Testing Functionalities of LOLASantiago Pavón, Martín Llamas Nistal. 559-562
- The University of Ottawa LOTOS ToolkitLuigi Logrippo. 563-566
- PIL: A Tool for Pre-implementation of LOTOSJ. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm. 567-570
- The PROMPT Automatic Implementation Tool - Initial ImpressionsKen R. Parker. 571-576
- Design of the LOTOSPHERE Symbolic LOTOS SimulatorPeter van Eijk, Henk Eertink. 577-580
- An Interactive Programming Environment for LOTOSPaul de Jager, Willem Jonker, Albert Wammes, Johan Wester. 581-584