Connection between logical and algebraic approaches to concurrent systems (Q3060196)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connection between logical and algebraic approaches to concurrent systems |
scientific article |
Statements
Connection between logical and algebraic approaches to concurrent systems (English)
0 references
1 December 2010
0 references
characteristic formulae
0 references
logical approach
0 references
algebraic approach
0 references