default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FORTE 1991: Sydney, NSW, Australia
- Ken R. Parker, Gordon A. Rose:
Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991. IFIP Transactions C-2, North-Holland 1992, ISBN 0-444-89402-0
Applications I
- Mark Vigder, Raymond J. A. Buhr:
Using LOTOS in a Design Environment. FORTE 1991: 1-15 - Linda Simon, Lynn S. Marshall:
Using VDM to Specify OSI Managed Objects. FORTE 1991: 17-31
Invited Paper
- Ed Brinksma:
What is the Method in Formal Methods? FORTE 1991: 33-50
Performance and Reliability
- D. Fernández, Enrique Vázquez, Juan Vinyes:
Io: An Estelle Simulator for Performance Evaluation. FORTE 1991: 51-66 - Hans Hansson:
Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. FORTE 1991: 67-82
Industry Reports
- John A. Chaves:
Formal Methods at AT&T - An Industrial Usage Report. FORTE 1991: 83-90 - Karen Rosenberg:
The Adoption of Formal Methods within OTC. FORTE 1991: 91-98 - Martin Kooij:
Linking Specifications with Implementations. FORTE 1991: 99-108 - Ashley McClenaghan:
Experience of Using LOTOS Within the CIM-OSA Project. FORTE 1991: 109-116
Applications II
- Peter van Eijk, J. Schot:
An Exercise in Protocol Synthesis. FORTE 1991: 117-131 - Ing Widya, Franck Sadoun, Gert-Jan van der Heijden:
Specification of a Distributed Coordination Function in LOTOS. FORTE 1991: 133-148 - Gert J. Veltink:
XP, an Experiment in Modular Specification. FORTE 1991: 149-164
Invited Paper
- Simon S. Lam, A. Udaya Shankar:
Understanding Interfaces. FORTE 1991: 165-184
Change Management
- Lars-Åke Fredlund, Fredrik Orava:
Modelling Dynamic Communication Structures in LOTOS. FORTE 1991: 185-200 - Elie Najm, Jean-Bernard Stefani:
Dynamic Configuration in LOTOS. FORTE 1991: 201-216
Timed Extensions
- Guy Leduc:
An Upward Compatible Timed Extension to LOTOS. FORTE 1991: 217-232 - Ashley McClenaghan:
Mapping Time-Extended LOTOS to Standard LOTOS. FORTE 1991: 233-248 - Tommaso Bolognesi, Ferdinando Lucidi:
LOTOS-like Process Algebras with Urgent or Timed Interactions. FORTE 1991: 249-264
Transformations
- Rom Langerak:
Event Structures for Design and Transformation in LOTOS. FORTE 1991: 265-280 - Thierry Massart:
A Calculus to Define Correct Tranformations of LOTOS Specifications. FORTE 1991: 281-296 - Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega:
Inverse Expansion. FORTE 1991: 297-312
Tools and Environment
- Eric Lallemand, Guy Leduc:
A LOTOS Data Facility Compiler (DAFY). FORTE 1991: 313-327 - Benoît Caillaud:
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. FORTE 1991: 329-344 - Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu:
Design and Implementation of an Application Interface for LOTOS Processors. FORTE 1991: 345-360
Validation
- C. T. Nguyen, P. Hunel, Marie-Claude Vialatte:
Formal Specification, Validation and Implementation of an Application Protocol with Estelle. FORTE 1991: 361-376 - Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson:
Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE 1991: 377-392 - Myungchul Kim, Samuel T. Chanson, Son T. Vuong:
Protocol Trace Analysis Based on Formal Specifications. FORTE 1991: 393-408
Language Issues
- Steve Rudkin:
Inheritance in LOTOS. FORTE 1991: 409-424 - Heinz Saria, Heinrich Nirschl, Carl Binding:
Mixing LOTOS and SDL Specifications. FORTE 1991: 425-439 - José A. Mañas, Joaquín Salvachúa:
Lambda-beta: A Virtual LOTOS Machine. FORTE 1991: 441-456
Tools Reports
- Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker:
Tool Demonstration: FORSEE. FORTE 1991: 457-461 - Eric Madelaine, Didier Vergamini:
Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466 - José A. Mañas, Joaquín Salvachúa, Tomás de Miguel:
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. FORTE 1991: 467-470 - Peter van Eijk:
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. FORTE 1991: 471-474
Invited Paper
- Ralph-Johan Back, Kaisa Sere:
Superposition Refinement of Parallel Algorithms. FORTE 1991: 475-493
Verification
- Eric Madelaine, Didier Vergamini:
Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510 - Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda:
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. FORTE 1991: 511-526
Process Foundations
- Colin J. Fidge:
Process Algebra Traces Augmented with Causal Relationships. FORTE 1991: 527-541 - Cheng Wu, Gregor von Bochmann:
Fairness in LOTOS. FORTE 1991: 543-558 - Jean-Pierre Courtiat, Rosvelter João Coelho da Costa:
A LOTOS Based Calculus with True Concurrency Semantics. FORTE 1991: 559-574
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-11-22 19:31 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:
