From LOTOS to LNT (Q5047037)
From MaRDI portal
scientific article; zbMATH DE number 7614256
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From LOTOS to LNT |
scientific article; zbMATH DE number 7614256 |
Statements
From LOTOS to LNT (English)
0 references
9 November 2022
0 references
abstract data type
0 references
algebraic specification
0 references
concurrency theory
0 references
E-LOTOS
0 references
formal description technique
0 references
formal method
0 references
formal specification
0 references
LOTOS
0 references
LNT
0 references
process algebra
0 references
process calculus
0 references
specification language
0 references
