Q5875401 (Q5875401): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2019.39
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2019.39 / rank @@
-Normal rank
@@ Property / author @@
-Frank Pfenning
@@ Property / author: Frank Pfenning / rank @@
-Normal rank
@@ Property / author @@
+Frank Pfenning
@@ Property / author: Frank Pfenning / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852348
@@ Property / cites work: Q2852348 / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(\pi\)-calculus and linear logic
@@ Property / cites work: On the \(\pi\)-calculus and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic hybrid logic
@@ Property / cites work: Intuitionistic hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural typing for safe ambients
@@ Property / cites work: Behavioural typing for safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Within a Canonical Binary Theory, and Beyond
+Normal rank
@@ Property / cites work @@
+Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6--9, 2016. Proceedings
+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 @@
+Q4965856
@@ Property / cites work: Q4965856 / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types for Access and Information Flow Control
+Normal rank
@@ Property / cites work @@
+Q4608685
@@ Property / cites work: Q4608685 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for the ambient calculus
@@ Property / cites work: Types for the ambient calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Self-adaptation and secure information flow in multiparty communications
+Normal rank
@@ Property / cites work @@
+Hybrid linear logic, revisited
@@ Property / cites work: Hybrid linear logic, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Protocols in Session Types
@@ Property / cites work: Nested Protocols in Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
+Normal rank
@@ Property / cites work @@
+Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
+Normal rank
@@ Property / cites work @@
+Hybrid and subexponential linear logics
@@ Property / cites work: Hybrid and subexponential linear logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649549
@@ Property / cites work: Q4649549 / 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 @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Session-typed concurrent contracts
@@ Property / cites work: Session-typed concurrent contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+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 @@
+Monitors and blame assignment for higher-order session types
+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 @@
+Q4965859
@@ Property / cites work: Q4965859 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock and lock freedom in the linear π-calculus
+Normal rank
@@ Property / cites work @@
+Linear Logical Relations for Session-Based Concurrency
+Normal rank
@@ Property / cites work @@
+Linear logical relations and observational equivalences for session-based concurrency
+Normal rank
@@ Property / cites work @@
+Hybridizing a Logical Framework
@@ Property / cites work: Hybridizing a Logical Framework / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Carrying Code in a Session-Typed Process Calculus
+Normal rank
@@ Property / cites work @@
+Corecursion and Non-divergence in Session-Typed Processes
+Normal rank
@@ Property / cites work @@
+Depending on session-typed processes
@@ Property / cites work: Depending on session-typed processes / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2019.39
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2019.39 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875401