LOTOS

E807612
ISO standard formal specification language process algebra

LOTOS is a formal specification language for describing and analyzing the behavior of distributed and concurrent systems, particularly in communication protocols.

Try in SPARQL Jump to: Statements Referenced by

Statements (47)

Predicate Object
instanceOf ISO standard ⓘ
formal specification language ⓘ
process algebra ⓘ
acronymFor Language Of Temporal Ordering Specification NERFINISHED ⓘ
allows composition of processes ⓘ
specification of interactions via gates ⓘ
basedOn abstract data types ⓘ
process algebra ⓘ
designedFor specification of communication protocols ⓘ
specification of concurrent systems ⓘ
specification of distributed systems ⓘ
domain formal methods ⓘ
software engineering ⓘ
telecommunications ⓘ
fullName Language Of Temporal Ordering Specification NERFINISHED ⓘ
goal precise unambiguous system specification ⓘ
support for formal verification ⓘ
hasComponent behavior expressions ⓘ
data type definitions ⓘ
hasDataSpecificationLanguage ACT ONE ⓘ
hasOperator choice ⓘ
hiding ⓘ
interleaving ⓘ
parallel composition ⓘ
sequential composition ⓘ
synchronization on gates ⓘ
hasSemanticBasis Labelled Transition Systems NERFINISHED ⓘ
algebraic semantics ⓘ
influenced E-LOTOS NERFINISHED ⓘ
other process-algebra-based specification languages ⓘ
ISOStandardNumber ISO 8807 NERFINISHED ⓘ
publicationYear 1989 ⓘ
standardizedBy International Organization for Standardization NERFINISHED ⓘ
supports behavioral specification ⓘ
concurrency ⓘ
data type specification ⓘ
nondeterminism ⓘ
synchronization ⓘ
temporal ordering of events ⓘ
supportsAnalysis deadlock detection GENERATED ⓘ
livelock detection GENERATED ⓘ
reachability analysis GENERATED ⓘ
usedIn conformance testing specifications ⓘ
formal description of communication protocols ⓘ
verification of distributed systems ⓘ
usedWith model checking tools ⓘ
theorem provers ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

CCS (Calculus of Communicating Systems) → influenced → LOTOS ⓘ
subject surface form: CCS
Communication and Concurrency → influenced → LOTOS ⓘ