search result

Cover von Synthetic Behavioural Typing

Synthetic Behavioural Typing

Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)
Year: 2023
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