Generalized interface automata with multicast synchronization (Q1633060)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalized interface automata with multicast synchronization |
scientific article |
Statements
Generalized interface automata with multicast synchronization (English)
0 references
19 December 2018
0 references
interface automata
0 references
multicast communication
0 references
component interaction
0 references
verification
0 references
