An abstract interpretation toolkit for \(\mu\)CRL (Q883139): Difference between revisions

@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL
@@ Property / describes a project that uses: mCRL / 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.1007/s10703-006-0029-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2154040094
@@ Property / OpenAlex ID: W2154040094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531754
@@ Property / cites work: Q4531754 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q4551157
@@ Property / cites work: Q4551157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738463
@@ Property / cites work: Q4738463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223066
@@ Property / cites work: Q4223066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804921
@@ Property / cites work: Q4804921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearization in parallel pCRL
@@ Property / cites work: Linearization in parallel pCRL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414730
@@ Property / cites work: Q4414730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4744245
@@ Property / cites work: Q4744245 / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848146
@@ Property / cites work: Q2848146 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414733
@@ Property / cites work: Q4414733 / rank @@
+Normal rank