Binary Session Types for Psi-Calculi (Q3179282): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-47958-3_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2528273804
@@ Property / OpenAlex ID: W2528273804 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Using Higher-Order Contracts to Model Session Types (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+On Duality Relations for Session Types
@@ Property / cites work: On Duality Relations for Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+Session types revisited
@@ Property / cites work: Session types revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+Bounded polymorphism in session types
@@ Property / cites work: Bounded polymorphism in 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 @@
+A Linear Account of Session Types in the Pi Calculus
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed ψ-calculi
@@ Property / cites work: Typed ψ-calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Resources in $$\psi $$-calculi
@@ Property / cites work: Types for Resources in $$\psi $$-calculi / 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 @@
+A New Type System for Deadlock-Free Processes
@@ Property / cites work: A New Type System for Deadlock-Free Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing input/output-capabilities of mobile processes with a generic type system
+Normal rank