Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. (Q1854358): Difference between revisions

@@ Property / DOI @@
-.1006/inco.2000.2872
@@ Property / DOI: 10.1006/inco.2000.2872 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ABCL
@@ Property / describes a project that uses: ABCL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2050084141
@@ Property / OpenAlex ID: W2050084141 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with subtypes
@@ Property / cites work: Type inference with subtypes / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for analyzing communicating processes
+Normal rank
@@ Property / cites work @@
+Static and dynamic processor allocation for higher-order concurrent languages
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / DOI @@
+.1006/INCO.2000.2872
@@ Property / DOI: 10.1006/INCO.2000.2872 / rank @@
+Normal rank