Undecidability of accordance for open systems with unbounded message queues (Q402353): Difference between revisions

@@ Property / author @@
+H. S. Yoon
@@ Property / author: H. S. Yoon / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6335092
@@ Property / zbMATH DE Number: 6335092 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Petri nets
@@ Property / zbMATH Keywords: Petri nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+open nets
@@ Property / zbMATH Keywords: open nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+accordance preorder
@@ Property / zbMATH Keywords: accordance preorder / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+theory of computation
@@ Property / zbMATH Keywords: theory of computation / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2014.07.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2001076149
@@ Property / OpenAlex ID: W2001076149 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Substitutability of Services with Operating Guidelines
+Normal rank
@@ Property / cites work @@
+Does My Service Have Partners?
@@ Property / cites work: Does My Service Have Partners? / rank @@
+Normal rank
@@ Property / cites work @@
+Relating fair testing and accordance for service replaceability
+Normal rank
@@ Property / cites work @@
+Trace- and failure-based semantics for responsiveness
+Normal rank
@@ Property / cites work @@
+A trace-based service semantics guaranteeing deadlock freedom
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Can I find a partner? Undecidability of partner existence for open nets
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:402353