Work

Verified Parameterized Choreographies Technical Report

Year: 2025

Type: preprint

Abstract: This technical report contains the full set of definitions and projection rules of the paper ``Verified Parameterized Choreographies'' by Rubbens et al. It also supplements the artefact.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2502.15382

Authors: Rubbens, Robert, Bos, Petra van den, Huisman, Marieke

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4417519387

Cites:

Cited by: 1

Related to: