„Session Types“

Suchergebnisse

96 Treffer

• Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols
  Castro-Perez, David ; Yoshida, Nobuko 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact)
  Vassor, Martin ; Yoshida, Nobuko
• Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact)
  Lagaillardie, Nicolas ; Hou, Ping ; Yoshida, Nobuko
• Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)
  Derakhshan, Farzaneh ; Balzer, Stephanie ; Yao, Yue
• Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)
  Balzer, Stephanie ; Carbone, Marco ; Kuhn, Roland ; Thiemann, Peter
• Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)
  Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko
• Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
  Harvey, Paul ; Fowler, Simon ; Dardha, Ornela ; Gay, Simon J.
• Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)
  Jongmans, Sung-Shik ; Ferreira, Francisco
• Dynamically Updatable Multiparty Session Protocols (Artifact)
  Castro-Perez, David ; Yoshida, Nobuko
• Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
  Barwell, Adam D. ; Hou, Ping ; Yoshida, Nobuko ; Zhou, Fangyi
• API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
  Cledou, Guillermina ; Edixhoven, Luc ; Jongmans, Sung-Shik ; Proença, José
• A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)
  Jacobs, Jules
• Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact)
  Chen, Ruo Fei ; Balzer, Stephanie ; Toninho, Bernardo
• Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
  Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko
• On the Monitorability of Session Types, in Theory and Practice (Artifact)
  Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste
• Multiparty Session Programming with Global Protocol Combinators (Artifact)
  Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji
• Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)
  Fowler, Simon
• Minimal Session Types (Artifact)
  Arslanagić, Alen ; Pérez, Jorge A. ; Voogd, Erik
• Subtyping Context-Free Session Types
  Silva, Gil ; Mordido, Andreia ; Vasconcelos, Vasco T. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Sound and Complete Projection for Global Types
  Tirore, Dawit ; Bengtson, Jesper ; Carbone, Marco 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik