A generic type system for the pi-calculus (Q1884932): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Types as models
@@ Property / cites work: Types as models / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763675
@@ Property / cites work: Q2763675 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+Q2754161
@@ Property / cites work: Q2754161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
+Normal rank
@@ Property / cites work @@
+Resource usage analysis
@@ Property / cites work: Resource usage analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for lock-free processes
@@ Property / cites work: A type system for lock-free processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536623
@@ Property / cites work: Q4536623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270069
@@ Property / cites work: Q4270069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754160
@@ Property / cites work: Q2754160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for interaction
@@ Property / cites work: Calculi for interaction / 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 @@
+Q4536621
@@ Property / cites work: Q4536621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223021
@@ Property / cites work: Q4223021 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type, region and effect inference
@@ Property / cites work: Polymorphic type, region and effect inference / rank @@
+Normal rank
@@ Property / cites work @@
+The type and effect discipline
@@ Property / cites work: The type and effect discipline / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(03)00325-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1972836343
@@ Property / OpenAlex ID: W1972836343 / rank @@
+Normal rank