Keep me out of the loop: a more flexible choreographic projection

Datasæt

Beskrivelse

An extension of the formalization of Core Choreographies with a more sophisticated notion of projection.
Dato for tilgængelighed17. mar. 2023
ForlagZenodo

Citationsformater