search result

Cover von Grounded Fixpoints and Active Integrity Constraints

Grounded Fixpoints and Active Integrity Constraints

Year: 2016
Media group: OASICS
Cover von Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

Year: 2023
Media group: LIPIcs
Cover von Modular Choreographies

Modular Choreographies

Bridging Alice and Bob Notation to Java
Year: 2023
Media group: OASICS
Cover von Formalising a Turing-Complete Choreographic Language in Coq

Formalising a Turing-Complete Choreographic Language in Coq

Year: 2021
Media group: LIPIcs
Cover von Joint Post-proceedings of the First and Second International Conference on Microservices
Microservices 2017/2019 : February 19 - 21, 2019, University of Applied Sciences and Arts Dortmund, Germany
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 78
Media group: OASICS
Cover von Modular Compilation for Higher-Order Functional Choreographies

Modular Compilation for Higher-Order Functional Choreographies

Year: 2023
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