BS ISO 8807:1989:1990 Edition
$215.11
Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour
| Published By | Publication Date | Number of Pages |
| BSI | 1990 | 126 |
Technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications described in BS 6568 can be described formally in LOTOS.
Related products
-
BS ISO/IEC 8802-5:1998:1999 Edition
Information technology. Telecommunications and information exchange between systems. Local and metropolitan area networks. Specific requirements…
-
BS 6531-3:1984
10 Mbps slotted ring local area network – Specification for free-standing repeaters Published By Publication…
-
BSI DD 100-1:1985
Token bus local area networks. – Technical specification (ISO DP 8802/4; IEEE 802.4 Draft F)…
-
BS 3531-11:1990
Implants for osteosynthesis – Specification for staples Published By Publication Date Number of Pages BSI…
-
BS 6061:1981
Specification for transportable acetylene containers Published By Publication Date Number of Pages BSI 1981 14
-
BS ISO/IEC 8473-2:1996:1998 Edition
Information technology. Protocol for providing the connectionless-mode network service – Provision of the underlying service…
-
BS 7163:1990
Specification for wire rope and pulley steering systems on small craft Published By Publication Date…
-
BS EN ISO 8307:2007 2008
Flexible cellular polymeric materials. Determination of resilience by ball rebound Published By Publication Date Number…
-
BS ISO/IEC/IEEE 8802-1Q:2020
Telecommunications and exchange between information technology systems. Requirements for local and metropolitan area networks –…
-
BS 6631:1985
Specification for rubber hoses and hose assemblies for rotary drilling and vibration applications Published By…
-
BS ISO/IEC 8802-3:1992
Information technology. Local and metropolitan area networks. – Carrier sense multiple access with collision detection…
-
BS ISO 8802-3:1989:1990 Edition
Information processing systems. Local area networks. – Carrier sense multiple access with collision detection (CSMA/CD)…
-
BSI DD 98-1:1984
CSMA/CD local area networks – Technical specification Published By Publication Date Number of Pages BSI…
-
BS 6531-2:1984
10 Mbps slotted ring local area network – Specification for configuration Published By Publication Date…
-
BS 6531-6:1984
10 Mbps slotted ring local area network – Specification for logging station Published By Publication…
-
BS 6531-1:1984
10 Mbps slotted ring local area network – Specification for the coding of bits and…
-
BS EN ISO 10341:1999
Ophthalmic instruments. Refractor heads Published By Publication Date Number of Pages BSI 1999 16
-
BS ISO 12900:2015
Hard coal. Determination of abrasiveness Published By Publication Date Number of Pages BSI 2015 20
-
BSI DD 99-1:1985
Logical link control for local area networks – Technical specification (ISO/DP 8802/2; IEEE 802.2 Draft…
-
BS EN 25077:1994
Textiles. Determination of dimensional change in washing and drying Published By Publication Date Number of…
-
BS 903-A4:1990
Physical testing of rubber – Determination of compression stress-strain properties Published By Publication Date Number…
-
BS EN ISO 8307:1998
Flexible cellular polymeric materials. Determination of resilience Published By Publication Date Number of Pages BSI…
-
BS 6531-4:1984
10 Mbps slotted ring local area network – Specification for Basic and Enhanced Class nodes…
-
BS 6043-3.1.1:1999
Methods of sampling and test for carbonaceous materials used in aluminium manufacture – Electrodes –…
-
BS 4058:1987
Specification for data processing flow chart symbols, rules and conventions Published By Publication Date Number…
-
BS ISO 8805:1988:2001 Edition
Information processing systems. Computer graphics. Graphical kernel system for three dimensions (GKS-3D) functional description Published…
-
BS ISO 16609:2004:2006 Edition
Banking. Requirements for message authentication using symmetric techniques Published By Publication Date Number of Pages…
-
BS 6531-5:1984
10 Mbps slotted ring local area network – Specification for monitor Published By Publication Date…
-
BS 6043-3.1.2:1999
Methods of sampling and test for carbonaceous materials used in aluminium manufacture – Electrodes –…
-
BS ISO 8802-2:1989:1991 Edition
Information technology. Telecommunications and information exchange between systems. Local and metropolitan area networks. Specific requirements…
-
BS 6532-1:1984
Data terminal equipment for attachment to 10 Mbps slotted ring local area network – Specification…
-
BS EN 1807-1:2013
Safety of woodworking machines. Band sawing machines – Table band saws and band re-saws Published…
-
BS 8800:2004
Occupational health and safety management systems. Guide Published By Publication Date Number of Pages BSI…
-
BS 5807:1987
Method for determination of dimensional change of textiles in domestic washing and drying Published By…
-
BS ISO/IEC 8802-12:1998:1999 Edition
Information technology. Telecommunications and information exchange between systems. Local and metropolitan area networks. Specific requirements…
-
BS 6531-7:1984
10 Mbps slotted ring local area network – Specification for slave power supplies Published By…
-
BSI DD 124:1985
Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational…
-
BS 4058:1987
Specification for data processing flow chart symbols, rules and conventions Published By Publication Date Number…
-
BS EN ISO 6807:2003 2004
Rubber hoses and hose assemblies for rotary drilling and vibration applications. Specifications Published By Publication…
-
BS 3531-11:1991
Implants for osteosynthesis – Implants for osteosynthesis. Specification for staples with parallel legs Published By…
