Typing Copyless Message Passing (Q5892489): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1863315251
@@ Property / OpenAlex ID: W1863315251 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2086
@@ Property / arXiv ID: 1202.2086 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532095
@@ Property / cites work: Q4532095 / rank @@
+Normal rank