On the \(k\)-synchronizability of systems (Q2200819)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the \(k\)-synchronizability of systems |
scientific article |
Statements
On the \(k\)-synchronizability of systems (English)
0 references
23 September 2020
0 references
verification
0 references
communicating automata
0 references
asychronous
0 references
synchronous communication
0 references
