Cart (0)
  • No items in cart.
Total
$0
There is a technical issue about last added item. You can click "Report to us" button to let us know and we resolve the issue and return back to you or you can continue without last item via click to continue button.
Home
Content
Tour
eLibrary
Store
Search book title
Filters:
BOOKS
All Books
PACKAGES
All Packages
EDITION
to
PUBLISHER
AABC
(1)
AAMI
(353)
ACI
(651)
AECDAILY
(599)
AISC
(58)
ASA
(290)
ASCE
(1042)
ASHRAE
(728)
ASME
(2262)
ASSE
(117)
ASTM
(97896)
AWC
(58)
AWWA
(635)
BHMA
(132)
BICSI
(33)
BIFMA
(28)
BOMA
(20)
BSI
(99791)
CRSI
(18)
IAHSS
(1)
IAPMO
(396)
ICC
(328)
IEC
(10763)
IEEE
(7369)
IES
(252)
ISEA
(21)
ISO
(24378)
Joint Commission
(198)
Joint Commission Int.
(1)
NEMA
(849)
NETA
(7)
NFPA
(1722)
TCNA
(23)
TMS
(19)
USGBC
(28)
WILEY
(4)
 
AR
(6)
AZ
(7)
CA
(128)
CO
(1)
CT
(3)
FL
(58)
ID
(5)
IL
(5)
IN
(1)
KY
(1)
LA
(2)
MI
(28)
MN
(27)
NC
(36)
NJ
(13)
NY
(71)
OH
(24)
OR
(25)
PA
(7)
RI
(8)
SC
(20)
SD
(1)
TX
(3)
VA
(50)
VT
(6)
WA
(34)
CONTENT TYPE
 Act
 Admin Code
 Announcements
 Bill
 Book
 CADD File
 CAN
 CEU
 Charter
 Checklist
 City Code
 Code
 Commentary
 Comprehensive Plan
 Conference Paper
 County Code
 Course
 DHS Documents
 Document
 Errata
 Executive Regulation
 Federal Guideline
 Firm Content
 Guideline
 Handbook
 Interpretation
 Journal
 Land Use and Development
 Law
 Legislative Rule
 Local Amendment
 Local Code
 Local Document
 Local Regulation
 Local Standards
 Manual
 Model Code
 Model Standard
 Notice
 Ordinance
 Other
 Paperback
 PASS
 Periodicals
 PIN
 Plan
 Policy
 Product
 Product - Data Sheet
 Program
 Provisions
 Requirements
 Revisions
 Rules & Regulations
 Standards
 State Amendment
 State Code
 State Manual
 State Plan
 State Standards
 Statute
 Study Guide
 Supplement
 Sustainability
 Technical Bulletin
 All
  • ISO
    ISO 8807:1989 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
    Edition: 1989
    $629.86
    / user per year

Content Description

Defines the syntax and semantics of the Formal Description Technique LOTOS used for the formal description of distributed, concurrent information processing systems. LOTOS can be used to describe formally the service definitions and protocol specifications of the layers of Open Systems Interconnection (OSI) architecture described in ISO 7498, and related standards, and conformance tests for implementations of OSI protocols and/or OSI functions. It can also be applied for the formal description of other distributed systems, such as telephone switching networks. References: ISO 7498; CCITT Recommendation Z. 100, SDL.



About ISO

ISO, the International Organization for Standardization, brings global experts together to agree on the best way of doing things – for anything from making a product to managing a process. As one of the oldest non-governmental international organizations, ISO has enabled trade and cooperation between people and companies all over the world since 1946. The International Standards published by ISO serve to make lives easier, safer and better.
GROUPS
X