search result

Cover von Lightweight Session Programming in Scala

Lightweight Session Programming in Scala

Year: 2016
Media group: LIPIcs
Cover von NEST

NEST

Network Enforced Session Types
Year: 2026
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 Generalised Multiparty Session Types with Crash-Stop Failures

Generalised Multiparty Session Types with Crash-Stop Failures

Year: 2022
Media group: LIPIcs
Cover von Behavioural Types; 8
Bridging Theory and Practice : pp. 52-75
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von On the Monitorability of Session Types, in Theory and Practice

On the Monitorability of Session Types, in Theory and Practice

Year: 2021
Media group: LIPIcs
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 The Concurrent Calculi Formalisation Benchmark

The Concurrent Calculi Formalisation Benchmark

article
Author: Carbone, Marco; Castro-Perez, David; Ferreira, Francisco
Year: 2024
Media group: ARTICLE
OPEN V 11.1.0.0