„Session Types“

Suchergebnisse

96 Treffer

• Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)
  Das, Ankush ; Pfenning, Frank 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model-View-Update-Communicate: Session Types Meet the Elm Architecture
  Fowler, Simon 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Session Programming With Global Protocol Combinators
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Domain-Aware Session Types
  Caires, Luís ; Pérez, Jorge A. ; Pfenning, Frank ; Toninho, Bernardo 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Sound Algorithm for Asynchronous Session Subtyping
  Bravetti, Mario ; Carbone, Marco ; Lange, Julien ; Yoshida, Nobuko ; Zavattaro, Gianluigi 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Motion Session Types for Robotic Interactions (Brave New Idea Paper)
  Majumdar, Rupak ; Pirron, Marcus ; Yoshida, Nobuko ; Zufferey, Damien 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minimal Session Types (Pearl)
  Arslanagić, Alen ; Pérez, Jorge A. ; Voogd, Erik 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Universal Session Type for Untyped Asynchronous Communication
  Balzer, Stephanie ; Pfenning, Frank ; Toninho, Bernardo 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concurrent Reversible Sessions
  Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types
  Carbone, Marco ; Lindley, Sam ; Montesi, Fabrizio ; Schürmann, Carsten ; Wadler, Philip 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lightweight Session Programming in Scala
  Scalas, Alceste ; Yoshida, Nobuko 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Session Types as Coherence Proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Characteristic Bisimulation for Higher-Order Session Processes
  Kouzapas, Dimitrios ; Pérez, Jorge A. ; Yoshida, Nobuko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Meeting Deadlines Together
  Bocchi, Laura ; Lange, Julien ; Yoshida, Nobuko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
  DeYoung, Henry ; Caires, Luís ; Pfenning, Frank ; Toninho, Bernardo 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Models for Trustworthy Service and Process Oriented Systems
  Lopez, Hugo A. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Locally Static, Globally Dynamic Session Types for Active Objects
  Hähnle, Reiner ; Haubner, Anton W. ; Kamburjan, Eduard 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Calculating communication costs with Sessions Types and Sizes
  Franco, Juliana ; Drossopoulou, Sophia ; Yoshida, Nobuko 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
  Dezani, Mariangiola ; Kuhn, Roland ; Lindley, Sam ; Scalas, Alceste