Bounded polymorphism in session types (Q3535678): Difference between revisions

@@ Property / author @@
+Simon J. Gay
@@ Property / author: Simon J. Gay / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking a multithreaded functional language with session types
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+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 @@
+Correspondence assertions for process synchronization in concurrent communications
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral equivalence in the polymorphic pi-calculus
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129508006944
+Normal rank
@@ Property / OpenAlex ID @@
+W4248304257
@@ Property / OpenAlex ID: W4248304257 / rank @@
+Normal rank