Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196): 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.1007/978-3-642-02273-9_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1602067946
@@ Property / OpenAlex ID: W1602067946 / rank @@
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+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 @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Two Session Typing Systems for Higher-Order Mobile Processes
+Normal rank
@@ Property / cites work @@
+Global Principal Typing in Partially Commutative Asynchronous Sessions
+Normal rank
@@ Property / cites work @@
+A high-performance, portable implementation of the MPI message passing interface standard
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Channel dependent types for higher-order mobile processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3637196