„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
• Unreliability in Practical Subclasses of Communicating Systems
  Suresh, Amrita ; Yoshida, Nobuko 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Sessions from Clickstream Data Analysis to Uncover Different Types of Twitter Behaviour
  Meier, Florian ; Aigner, Johannes ; Elsweiler, David 2017 Humboldt-Universität zu Berlin
• Duality of session types: the final cut
  Gay, Simon ; Thiemann, Peter ; Vasconcelos, Vasco 2021 Universität
• 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
• The effect of a 12-session community exercise programme on health measures across varying cancer types and rehabilitation stages
  Oppong, Isaac ; Naemi, Roozbeh
• A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
  Bravetti, Mario ; Padovani, Luca ; Zavattaro, Gianluigi 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
• Contrasting Deadlock-Free Session Processes
  Jaramillo, Juan C. ; Pérez, Jorge A. 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
• Information Flow Control in Cyclic Process Networks
  van den Heuvel, Bas ; Derakhshan, Farzaneh ; Balzer, Stephanie 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
• Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
  Derakhshan, Farzaneh ; Balzer, Stephanie ; Yao, Yue 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Around Classical and Intuitionistic Linear Processes
  Jaramillo, Juan C. ; Frumin, Dan ; Pérez, Jorge A. 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