Decidability of performance equivalence for basic parallel processes (Q2503324): 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.2006.02.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2042574976
@@ Property / OpenAlex ID: W2042574976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4015485
@@ Property / cites work: Q4015485 / rank @@
+Normal rank
@@ Property / cites work @@
+Timing and causality in process algebra
@@ Property / cites work: Timing and causality in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508291
@@ Property / cites work: Q4508291 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760252
@@ Property / cites work: Q2760252 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphes canoniques de graphes algébriques
@@ Property / cites work: Graphes canoniques de graphes algébriques / rank @@
+Normal rank
@@ Property / cites work @@
+On performance congruences for process algebras
@@ Property / cites work: On performance congruences for process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Performance preorder and competitive equivalence
@@ Property / cites work: Performance preorder and competitive equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Rational sets in commutative monoids
@@ Property / cites work: Rational sets in commutative monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499199
@@ Property / cites work: Q4499199 / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with durational actions
@@ Property / cites work: A theory of processes with durational actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942620
@@ Property / cites work: Q4942620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484511
@@ Property / cites work: Q4484511 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Q4738239
@@ Property / cites work: Q4738239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736869
@@ Property / cites work: Q4736869 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2503324