Language of Temporal Ordering Specification
id:
language-of-temporal-ordering-specification-275-12763909
title:
Language of Temporal Ordering Specification
text:
In computer science Language of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification in International Organization for Standardization (ISO) Open Systems Interconnection model (OSI) standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent proces
brand slug:
wiki
category slug:
encyclopedia
description:
Formal specification language in computer science
original url:
https://en.wikipedia.org/wiki/Language_of_Temporal_Ordering_Specification
date created:
date modified:
2024-04-05T16:11:52Z
main entity:
{"identifier":"Q1805432","url":"https://www.wikidata.org/entity/Q1805432"}
image:
fields total:
13
integrity:
14