Subtyping for session types in the pi calculus (Q2576666): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-005-0177-z
@@ Property / DOI: 10.1007/s00236-005-0177-z / rank @@
-Normal rank
@@ Property / author @@
-Q1960534
@@ Property / author: Q1960534 / rank @@
-Normal rank
@@ Property / author @@
+Simon J. Gay
@@ Property / author: Simon J. Gay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lilac
@@ Property / describes a project that uses: Lilac / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pict
@@ Property / describes a project that uses: Pict / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclone
@@ Property / describes a project that uses: Cyclone / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PIPER
@@ Property / describes a project that uses: PIPER / 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/s00236-005-0177-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2088962847
@@ Property / OpenAlex ID: W2088962847 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence assertions for process synchronization in concurrent communications
+Normal rank
@@ Property / cites work @@
+Q2848666
@@ Property / cites work: Q2848666 / rank @@
+Normal rank
@@ Property / cites work @@
+Types as models
@@ Property / cites work: Types as models / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lilac: a functional programming language based on linear logic
+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 @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral equivalence in the polymorphic pi-calculus
+Normal rank
@@ Property / cites work @@
+Q4778708
@@ Property / cites work: Q4778708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413374
@@ Property / cites work: Q3413374 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-005-0177-Z
@@ Property / DOI: 10.1007/S00236-005-0177-Z / rank @@
+Normal rank