„Multiparty Session Types“

Suchergebnisse

39 Treffer

• Multiparty Session Programming with Global Protocol Combinators (Artifact)
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji
• Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)
  Jongmans, Sung-Shik ; Ferreira, Francisco 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
  Barwell, Adam D. ; Hou, Ping ; Yoshida, Nobuko ; Zhou, Fangyi 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko
• Generalised Multiparty Session Types with Crash-Stop Failures
  Barwell, Adam D. ; Scalas, Alceste ; Yoshida, Nobuko ; Zhou, Fangyi 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
  Cledou, Guillermina ; Edixhoven, Luc ; Jongmans, Sung-Shik ; Proença, José 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design-By-Contract for Flexible Multiparty Session Protocols
  Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
  Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
  Harvey, Paul ; Fowler, Simon ; Dardha, Ornela ; Gay, Simon J. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Session Subtyping and Multiparty Compatibility Using Circular Sequents
  Horne, Ross 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
• 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
• 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
• Multiparty Session Types as Coherence Proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; 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
• Composable partial multiparty session types for open systems
  Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
• Multiparty session types as coherence proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko