BSI DD 124:1985
$189.07
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807)
| Published By | Publication Date | Number of Pages |
| BSI | 1985 | 50 |
LOTOS is a technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications of the layers of Open Systems Interconnection described in BS 6568 can be described formally in LOTOS.
Related products
-
BSI DD 131:1986
Open Systems Interconnection: definition of common application service elements: association control (ISO/DIS 8649/2) Published By…
-
BS 2573-1:1983
Rules for the design of cranes – Specification for classification, stress calculations and design criteria…
-
BS 1902-6:1986
Methods of testing refractory materials – Ceramic fibre products Published By Publication Date Number of…
-
BSI DD 110:1985
Open Systems Interconnection: specification of protocols for common application service elements: commitment, concurrency and recovery…
-
BSI DD 107-3:1986
Computer graphics: metafile for the storage and transfer of picture description information – Binary encoding…
-
BSI DD 99-1:1985
Logical link control for local area networks – Technical specification (ISO/DP 8802/2; IEEE 802.2 Draft…
-
BS 7002:1989:1994 Edition
Specification for safety of information technology equipment including electrical business equipment Published By Publication Date…
-
BSI DD 109:1985
Open Systems Interconnection: definition of common application service elements: commitment, concurrency and recovery (ISO/DIS 8649/3)…
-
BSI DD 128:1986
Computer graphics: Graphical Kernel System for three dimensions (GKS-3D) functional description (ISO/DP 8805.2) Published By…
-
BSI DD 102:1986
Open Systems Interconnection: connection-oriented presentation protocol specification (ISO/DIS 8823) Published By Publication Date Number of…
-
BS 6568-1:1988
Reference model of open systems interconnection – Basic reference model (incorporating connectionless-mode transmission) Published By…
-
BS 7532:1991:1992 Edition
Method of test for accuracy and precision of mechanical handpipettes of capacity less than 50…
-
BS ISO/IEC 10731:1994:1995 Edition
Information technology. Open systems interconnection. Basic reference model. Conventions for the definition of OSI services…
-
BS 6844:1987
Method for determination of the flat crush resistance of corrugating medium after laboratory fluting (CMT…
-
BSI DD 105:1985
Open Systems Interconnection: job transfer and manipulation concepts and services (ISO DP 8831) Published By…
-
BSI DD 174:1988:1989 Edition
Guide to the calibration and setting up of the ultrasonic time of flight diffraction (TOFD)…
-
BSI DD 129:1986
Open Systems Interconnection: virtual terminal service: basic class (ISO/DIS 9040) Published By Publication Date Number…
-
BSI DD 121:1985
Classification system for sealants for building and construction Published By Publication Date Number of Pages…
-
BSI DD 106:1985
Open Systems Interconnection: specification of the basic class protocol for job transfer and manipulation (ISO…
-
BS 6929:1988
Nomenclature of components for respiratory protective devices Published By Publication Date Number of Pages BSI…
-
BSI DD 154:1986
Method of test for accuracy and precision of mechanical handpipettes of capacity less than 50…
-
BS 6963:1988
Open Systems Interconnection. Specification for basic encoding rules for Abstract Syntax Notation One (ASN.1) Published…
-
BS 7221:1989
Open systems interconnection: specification for internal organization of the Network Layer Published By Publication Date…
-
BSI DD 126:1985
Open Systems Interconnection: session symmetric synchronization service (ISO/DIS 8326 DAD 1) Published By Publication Date…
-
BS 7220:1990:1992 Edition
Information processing systems. Data communications. Network service definition Published By Publication Date Number of Pages…
-
BS ISO 8807:1989:1990 Edition
Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal…
-
BSI DD 114-2:1986
Computer graphics: Graphical Kernel System (GKS) language bindings. – Pascal (ISO/DIS 8651/2) Published By Publication…
-
BS ISO/IEC 8327-1:1996:1997 Edition
Information technology. Open systems interconnection. Connection-oriented session protocol – Protocol specification Published By Publication Date…
-
BSI DD 130:1986
Open Systems Interconnection: virtual terminal protocol: basic class (ISO/DIS 9041) Published By Publication Date Number…
-
BS ISO 8802-2:1989:1991 Edition
Information technology. Telecommunications and information exchange between systems. Local and metropolitan area networks. Specific requirements…
-
BS 6375-1:1983:1985 Edition
Performance of windows. – Classification for weathertightness (including guidance on selection and specification) Published By…
-
BS 7224:1990
Specification for use of X.25 to provide the OSI connection-mode network service Published By Publication…
-
BSI DD 81:1982
Recommendations for ground anchorages Published By Publication Date Number of Pages BSI 1982 126
-
BSI DD 218:1995
Testing aggregates. Method for determination of alkali-silica reactivity. Concrete prism method Published By Publication Date…
-
BSI DD 127:1985
Open Systems Interconnection: session symmetric synchronization protocol (ISO/DIS 8327 DAD 1) Published By Publication Date…
-
BSI DD 122:1985
Open Systems Interconnection: use of X.25 to provide the connection-oriented network service (ISO/DP 8878) Published…
-
BSI DD 134:1985
Open Systems Interconnection: network layer addressing (ISO/DIS 8348/DAD 2) Published By Publication Date Number of…
-
BSI DD 115:1985
Open Systems Interconnection: transport service definition (ISO/DIS 8072 and DAD 1) Published By Publication Date…
-
BS 7218:1990
Open systems interconnection: transport service definition (incorporating connectionless-mode transmission) Published By Publication Date Number of…
-
BS EN 1995-1-1:2004+A2:2014
Eurocode 5: Design of timber structures – General. Common rules and rules for buildings Published…
