Hardness of preorder checking for basic formalisms (Q650916): Difference between revisions

@@ 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.tcs.2011.08.037
+Normal rank
@@ Property / OpenAlex ID @@
+W2001225349
@@ Property / OpenAlex ID: W2001225349 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity is P-complete
@@ Property / cites work: Deciding bisimilarity is P-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of verifying concurrent transition systems
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845486
@@ Property / cites work: Q4845486 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding true concurrency equivalences on safe, finite nets
+Normal rank
@@ Property / cites work @@
+Equivalence-checking on infinite-state systems: Techniques and results
+Normal rank
@@ Property / cites work @@
+Q4508303
@@ Property / cites work: Q4508303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lower Bound on Web Services Composition
@@ Property / cites work: A Lower Bound on Web Services Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of equivalence problems for concurrent systems of finite agents
+Normal rank
@@ Property / cites work @@
+Q3424633
@@ Property / cites work: Q3424633 / rank @@
+Normal rank
@@ Property / cites work @@
+Hardness of equivalence checking for composed finite-state systems
+Normal rank
@@ Property / cites work @@
+Q4818858
@@ Property / cites work: Q4818858 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying abstractions of timed systems
@@ Property / cites work: Verifying abstractions of timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484486
@@ Property / cites work: Q4484486 / rank @@
+Normal rank