Abstract is missing.
- Using LOTOS in a Design EnvironmentMark Vigder, Raymond J. A. Buhr. 1-15
- Using VDM to Specify OSI Managed ObjectsLinda Simon, Lynn S. Marshall. 17-31
- What is the Method in Formal Methods?Ed Brinksma. 33-50
- Io: An Estelle Simulator for Performance EvaluationD. Fernández, Enrique Vázquez, Juan Vinyes. 51-66
- Modeling Timeouts and Unreliable Media with a Timed Probabilistic CalculusHans Hansson. 67-82
- Formal Methods at AT&T - An Industrial Usage ReportJohn A. Chaves. 83-90
- The Adoption of Formal Methods within OTCKaren Rosenberg. 91-98
- Linking Specifications with ImplementationsMartin Kooij. 99-108
- Experience of Using LOTOS Within the CIM-OSA ProjectAshley McClenaghan. 109-116
- An Exercise in Protocol SynthesisPeter van Eijk, J. Schot. 117-131
- Specification of a Distributed Coordination Function in LOTOSIng Widya, Franck Sadoun, Gert-Jan van der Heijden. 133-148
- XP, an Experiment in Modular SpecificationGert J. Veltink. 149-164
- Understanding InterfacesSimon S. Lam, A. Udaya Shankar. 165-184
- Modelling Dynamic Communication Structures in LOTOSLars-Åke Fredlund, Fredrik Orava. 185-200
- Dynamic Configuration in LOTOSElie Najm, Jean-Bernard Stefani. 201-216
- An Upward Compatible Timed Extension to LOTOSGuy Leduc. 217-232
- Mapping Time-Extended LOTOS to Standard LOTOSAshley McClenaghan. 233-248
- LOTOS-like Process Algebras with Urgent or Timed InteractionsTommaso Bolognesi, Ferdinando Lucidi. 249-264
- Event Structures for Design and Transformation in LOTOSRom Langerak. 265-280
- A Calculus to Define Correct Tranformations of LOTOS SpecificationsThierry Massart. 281-296
- Inverse ExpansionSantiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega. 297-312
- A LOTOS Data Facility Compiler (DAFY)Eric Lallemand, Guy Leduc. 313-327
- The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control AlgorithmsBenoît Caillaud. 329-344
- Design and Implementation of an Application Interface for LOTOS ProcessorsKazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu. 345-360
- Formal Specification, Validation and Implementation of an Application Protocol with EstelleC. T. Nguyen, P. Hunel, M.-C. Vialatte. 361-376
- Specification and Validation of a Simple Overtaking Protokol using LOTOSPatrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson. 377-392
- Protocol Trace Analysis Based on Formal SpecificationsMyungchul Kim, Samuel T. Chanson, Son T. Vuong. 393-408
- Inheritance in LOTOSSteve Rudkin. 409-424
- Mixing LOTOS and SDL SpecificationsHeinz Saria, Heinrich Nirschl, Carl Binding. 425-439
- Lambda-beta: A Virtual LOTOS MachineJosé A. Mañas, Joaquín Salvachúa. 441-456
- Tool Demonstration: FORSEEJonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker. 457-461
- Tool Demonstration: Tools for Process AlgebrasEric Madelaine, Didier Vergamini. 463-466
- Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS SpecJosé A. Mañas, Joaquín Salvachúa, Tomás de Miguel. 467-470
- Tool Demonstration: The Lotosphere Integrated Tool Environment LitePeter van Eijk. 471-474
- Superposition Refinement of Parallel AlgorithmsRalph-Johan Back, Kaisa Sere. 475-493
- Specification and Verification of a Sliding Window Protocol in LOTOSEric Madelaine, Didier Vergamini. 495-510
- Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal LogicHironori Saito, Toru Hasegawa, Yoshiaki Kakuda. 511-526
- Process Algebra Traces Augmented with Causal RelationshipsColin J. Fidge. 527-541
- Fairness in LOTOSCheng Wu, Gregor von Bochmann. 543-558
- A LOTOS Based Calculus with True Concurrency SemanticsJean-Pierre Courtiat, Rosvelter João Coelho da Costa. 559-574