Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508): Difference between revisions

@@ 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.1016/j.jlap.2013.05.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2023274662
@@ Property / OpenAlex ID: W2023274662 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamating sessions and methods in object-oriented languages with generics
+Normal rank
@@ Property / cites work @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+Objects and session types
@@ Property / cites work: Objects and session types / rank @@
+Normal rank
@@ Property / cites work @@
+Modular session types for distributed object-oriented programming
+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 @@
+Q4986260
@@ Property / cites work: Q4986260 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Static Deadlock Resolution in the $$\pi $$-Calculus
+Normal rank
@@ Property / cites work @@
+A Linear Account of Session Types in the Pi Calculus
+Normal rank
@@ Property / cites work @@
+Linearity, session types and the Pi calculus
@@ Property / cites work: Linearity, session types and the Pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Processes, Functions, and Sessions: A Monadic Integration
+Normal rank
@@ Property / cites work @@
+Q4904221
@@ Property / cites work: Q4904221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank