Certifying Data in Multiparty Session Types (Q3188299): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4212940261
@@ Property / OpenAlex ID: W4212940261 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+A Gentle Introduction to Multiparty Asynchronous Session Types
+Normal rank
@@ Property / cites work @@
+Parameterised Multiparty Session Types
@@ Property / cites work: Parameterised Multiparty Session Types / 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 @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Globally Governed Session Semantics
@@ Property / cites work: Globally Governed Session Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantics for Propositions as Sessions
@@ Property / cites work: A Semantics for Propositions as Sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Carrying Code in a Session-Typed Process Calculus
+Normal rank
@@ Property / cites work @@
+Extensional equivalence and singleton types
@@ Property / cites work: Extensional equivalence and singleton types / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Multiparty Session Types
@@ Property / cites work: Parameterised Multiparty Session Types / rank @@
+Normal rank