Undecidable verification problems for programs with unreliable channels (Q4632436): Difference between revisions

@@ Property / author @@
-Q197799
@@ Property / author: Q197799 / rank @@
-Normal rank
@@ Property / author @@
-Bengt Jonsson
@@ Property / author: Bengt Jonsson / rank @@
-Normal rank
@@ Property / author @@
+Parosh Aziz Abdulla
@@ Property / author: Parosh Aziz Abdulla / rank @@
+Normal rank
@@ Property / author @@
+Bengt Jonsson
@@ Property / author: Bengt Jonsson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58201-0_78
+Normal rank
@@ Property / OpenAlex ID @@
+W2688386367
@@ Property / OpenAlex ID: W2688386367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable verification problems for programs with unreliable channels
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q3780411
@@ Property / cites work: Q3780411 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimulation equivalences for a class of non-finite-state programs
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+On some variants of Post's correspondence problem
@@ Property / cites work: On some variants of Post's correspondence problem / rank @@
+Normal rank
@@ Property / cites work @@
+Boundedness, empty channel detection, and synchronization for communicating finite automata
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4632436