Factorizing proofs in timed CSP (Q5887513)
From MaRDI portal
scientific article; zbMATH DE number 7673899
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Factorizing proofs in timed CSP |
scientific article; zbMATH DE number 7673899 |
Statements
Factorizing proofs in timed CSP (English)
0 references
12 April 2023
0 references
inference rule
0 references
parallel operator
0 references
process algebra
0 references
semantic function
0 references
proof obligation
0 references
