Session Types with Arithmetic Refinements (Q5089277): Difference between revisions

@@ label / en / label / en @@
+Session Types with Arithmetic Refinements
@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2020.13
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2020.13 / rank @@
-Normal rank
@@ Property / cites work @@
+Deciding the Bisimilarity of Context-Free Session Types
+Normal rank
@@ Property / cites work @@
+Q4986741
@@ Property / cites work: Q4986741 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+A Sound Algorithm for Asynchronous Session Subtyping
+Normal rank
@@ Property / cites work @@
+Undecidability of asynchronous session subtyping
@@ Property / cites work: Undecidability of asynchronous session subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral Polymorphism and Parametricity in Session-Based Communication
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Work Analysis with Resource-Aware Session Types
@@ Property / cites work: Work Analysis with Resource-Aware 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 @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Session-typed concurrent contracts
@@ Property / cites work: Session-typed concurrent contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+On the Undecidability of Asynchronous Session Subtyping
+Normal rank
@@ Property / cites work @@
+Talking bananas: structural recursion for session types
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Proof-Carrying Code in a Session-Typed Process Calculus
+Normal rank
@@ Property / cites work @@
+Polarized Substructural Session Types
@@ Property / cites work: Polarized Substructural Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free session types
@@ Property / cites work: Context-free session types / rank @@
+Normal rank
@@ Property / cites work @@
+Depending on session-typed processes
@@ Property / cites work: Depending on session-typed processes / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of session types
@@ Property / cites work: Fundamentals of session types / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed types
@@ Property / cites work: Indexed types / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3081625510
@@ Property / OpenAlex ID: W3081625510 / rank @@
+Normal rank
@@ Property / title @@
+Session Types with Arithmetic Refinements (English)
@@ Property / title: Session Types with Arithmetic Refinements (English) / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2020.13
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2020.13 / rank @@
+Normal rank