Q5111454 (Q5111454): Difference between revisions

← Older edit

@@ Property / DOI @@
+.46298/lmcs-19(4:33)2023
@@ Property / DOI: 10.46298/lmcs-19(4:33)2023 / rank @@
+Normal rank
@@ Property / publication date @@
+January 2024Timestamp +2024-01-16T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2024-01-16T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 16 January 2024 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-XX
@@ Property / Mathematics Subject Classification ID: 68-XX / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7789005
@@ Property / zbMATH DE Number: 7789005 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07213
@@ Property / arXiv ID: 1702.07213 / rank @@
+Normal rank
@@ Property / title @@
+Synchronizability of Communicating Finite State Machines is not Decidable (English)
+Normal rank
@@ Property / published in @@
+Logical Methods in Computer Science
@@ Property / published in: Logical Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of automata communicating via FIFO and bag buffers
+Normal rank
@@ Property / cites work @@
+Automated Analysis of Asynchronously Communicating Systems
+Normal rank
@@ Property / cites work @@
+On deciding synchronizability for asynchronously communicating systems
+Normal rank
@@ Property / cites work @@
+Deciding choreography realizability
@@ Property / cites work: Deciding choreography realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizability for Verification of Asynchronously Communicating Systems
+Normal rank
@@ Property / cites work @@
+On the completeness of verifying message passing programs under bounded asynchrony
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+Decidable Topologies for Communicating Automata with FIFO and Bag Channels
+Normal rank
@@ Property / cites work @@
+Mixing Lossy and Perfect Fifo Channels
@@ Property / cites work: Mixing Lossy and Perfect Fifo Channels / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Q5009435
@@ Property / cites work: Q5009435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+Realisability of choreographies
@@ Property / cites work: Realisability of choreographies / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank