Q5111454 (Q5111454): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.46298/lmcs-19(4:33)2023 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / publication date | |||||||||||||||
16 January 2024
| |||||||||||||||
| Property / publication date: 16 January 2024 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / Mathematics Subject Classification ID | |||||||||||||||
| Property / Mathematics Subject Classification ID: 03B70 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / Mathematics Subject Classification ID | |||||||||||||||
| Property / Mathematics Subject Classification ID: 68-XX / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 7789005 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / title | |||||||||||||||
Synchronizability of Communicating Finite State Machines is not Decidable (English) | |||||||||||||||
| Property / title: Synchronizability of Communicating Finite State Machines is not Decidable (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: Logical Methods in Computer Science / rank | |||||||||||||||
Normal rank | |||||||||||||||
Revision as of 05:10, 30 April 2024
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
