search result

Cover von Behavioural Types for Local-First Software

Behavioural Types for Local-First Software

Year: 2023
Media group: LIPIcs
Cover von Compositional Design, Implementation, and Verification of Swarms

Compositional Design, Implementation, and Verification of Swarms

Year: 2026
Media group: LIPIcs
Cover von JoinActors
A Modular Library for Actors with Join Patterns
Search for this author
Year: 2026
Publisher: aosa, Inc.
Series: The Art, Science, and Engineering of Programming; 11. 2026, 4
Media group: ARTICLE
Cover von Fair Join Pattern Matching for Actors

Fair Join Pattern Matching for Actors

Year: 2024
Media group: LIPIcs
Cover von Probabilistic Analysis of Binary Sessions

Probabilistic Analysis of Binary Sessions

Year: 2020
Media group: LIPIcs
Cover von CONCUR 2013
Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27 - 30, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 8052
Media group: MONOGRAPHIE
Cover von A Categorical Account of Replicated Data Types

A Categorical Account of Replicated Data Types

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0