No label defined (Q5111454)
From MaRDI portal
scientific article; zbMATH DE number 7204574
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7204574 |
Statements
27 May 2020
0 references
16 January 2024
0 references
verification
0 references
distributed system
0 references
asynchronous communications
0 references
choreographies
0 references
Synchronizability of Communicating Finite State Machines is not Decidable (English)
0 references