PaperFDTs for ODP☆
References (44)
- et al.
Two standards means problems: A case study on formal protocol descriptions
Computer Standards and Interfaces
(1989) Precise specification of behaviour in object-oriented standardization activities
Computer Standards & Interfaces
(1993)A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
(1992)Basic Reference Model of Open Distributed Processing — Parts 1–4
(July 1993)Introduction to the Open Distributed Processing Basic Reference Model
- et al.
The design of a temporal logic for Open Distributed Systems
Object oriented modelling in Z for Open Distributed Systems
- et al.
An engineering approach to ODP system design
- et al.
A language for the specification of interactive and distributed multi-media applications
- et al.
Introduction to the ISO Specification Language LOTOS
Computer Networks and ISDN Systems
(1988)
LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour
(July 1987)
Estelle, a Formal Description Technique Based on an Extended State Transition Model
(June 1987)
Specification and Description Language SDL
(1988)
Formal description of distributed multimedia systems; an assessment of potential techniques
Computer Communications
(1995)
Inheritance in LOTOS
Introducing Mobility in LOTOS, ISO/IEC JTC1/SC21/WG1
(July 1994)
Extending LOTOS twoards performance evaluation
Dynamic configuration in LOTOS
Modelling dynamic ODP-configurations with LOTOS
Cited by (0)
- ☆
This work was partially funded by British Telecom Labs., Martlesham, Ipswich, UK, and partially by the UK Engineering and Physical Sciences Research Council under grant number GR/K13035.
Copyright © 1995 Published by Elsevier B.V.