search result

Cover von Design-By-Contract for Flexible Multiparty Session Protocols

Design-By-Contract for Flexible Multiparty Session Protocols

Year: 2022
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