No label defined (Q4692773)
From MaRDI portal
scientific article; zbMATH DE number 194783
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 194783 |
Statements
5 June 1993
0 references
Constructive methods
0 references
Computing science
0 references
proof theory
0 references
specification techniques
0 references
mechanical verification
0 references
algebraic approaches to semantics
0 references
parallelism. Computational Logic
0 references
invariants
0 references
concurrent processes
0 references
distributed systems
0 references
