search result

Cover von Dynamically Updatable Multiparty Session Protocols

Dynamically Updatable Multiparty Session Protocols

Generating Concurrent Go Code from Unbounded Protocols
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