„Multiparty session types“

Suchergebnisse

1.000+ Treffer

• Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts
  Stutz, Felix 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generalising Projection in Asynchronous Multiparty Session Types
  Majumdar, Rupak ; Mukund, Madhavan ; Stutz, Felix ; Zufferey, Damien 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fault-tolerant multiparty session types with global escape loops
  Bartl, Lukas ; Linne, Julian ; Peters, Kirstin 2025 Universität Augsburg
• Formalising Subject Reduction and Progress for Multiparty Session Processes
  Ekici, Burak ; Kamegai, Tadayoshi ; Yoshida, Nobuko 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certified Implementability of Global Multiparty Protocols
  Li, Elaine ; Wies, Thomas 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
  Tirore, Dawit ; Bengtson, Jesper ; Carbone, Marco 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
  Tirore, Dawit ; Bengtson, Jesper ; Carbone, Marco
• Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation
  Vassor, Martin ; Yoshida, Nobuko 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fearless Asynchronous Communications with Timed Multiparty Session Protocols
  Hou, Ping ; Lagaillardie, Nicolas ; Yoshida, Nobuko 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Completeness of Asynchronous Session Tree Subtyping in Coq
  Ekici, Burak ; Yoshida, Nobuko 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• 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é
• Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
  Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko