search result

Cover von Multiparty Session Types as Coherence Proofs

Multiparty Session Types as Coherence Proofs

Year: 2015
Media group: LIPIcs
Cover von Modular Compilation for Higher-Order Functional Choreographies

Modular Compilation for Higher-Order Functional Choreographies

Year: 2023
Media group: LIPIcs
Cover von Multiparty Languages

Multiparty Languages

The Choreographic and Multitier Cases (Pearl)
Author: Weisenburger, Pascal
Year: 2021
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Author: Sachweh, Sabine
Year: 2020
Media group: OASICS
OPEN V 11.1.0.0