search result

Cover von Ozone

Ozone

Fully Out-of-Order Choreographies
Year: 2024
Media group: LIPIcs
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 Model-Driven Code Generation for Microservices

Model-Driven Code Generation for Microservices

Service Models
Year: 2023
Media group: OASICS
Cover von Modular Choreographies

Modular Choreographies

Bridging Alice and Bob Notation to Java
Year: 2023
Media group: OASICS
Cover von Service-Oriented and Cloud Computing
9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22 - 24, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13226
Media group: MONOGRAPHIE
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 The Servers of Serverless Computing

The Servers of Serverless Computing

A Formal Revisitation of Functions as a Service
Year: 2020
Media group: OASICS
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 Microservices
A Language-Based Approach : article in "Present and Ulterior Software Engineering"
Search for this author
Year: 2017
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von Coherence Generalises Duality

Coherence Generalises Duality

A Logical Explanation of Multiparty Session Types
Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0