Synchronizability of communicating finite state machines is not decidable (Q5111454)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Synchronizability of communicating finite state machines is not decidable |
scientific article; zbMATH DE number 7204574
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Synchronizability of communicating finite state machines is not decidable |
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
0 references
0.8181192874908447
0 references
0.7778245210647583
0 references
0.7752856612205505
0 references
0.7747899293899536
0 references