search result

Cover von Design-By-Contract for Flexible Multiparty Session Protocols

Design-By-Contract for Flexible Multiparty Session Protocols

Year: 2022
Media group: LIPIcs
Cover von Multiparty Session Programming With Global Protocol Combinators

Multiparty Session Programming With Global Protocol Combinators

Year: 2020
Media group: LIPIcs
Cover von A Sound Algorithm for Asynchronous Session Subtyping

A Sound Algorithm for Asynchronous Session Subtyping

Year: 2019
Media group: LIPIcs
Cover von Motion Session Types for Robotic Interactions (Brave New Idea Paper)

Motion Session Types for Robotic Interactions (Brave New Idea Paper)

Year: 2019
Media group: LIPIcs
Cover von Theory and Applications of Behavioural Types; 1
pp. 158-189
Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

Year: 2017
Media group: LIPIcs
Cover von Multiparty Session Types as Coherence Proofs

Multiparty Session Types as Coherence Proofs

Year: 2015
Media group: LIPIcs
Cover von CONCUR Test-Of-Time Award 2021 (Invited Paper)

CONCUR Test-Of-Time Award 2021 (Invited Paper)

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0