Publikationer pr. år
Publikationer pr. år
Beskrivelse
An extension of the formalization of Core Choreographies with a more sophisticated notion of projection.
| Dato for tilgængelighed | 17. mar. 2023 |
|---|---|
| Forlag | Zenodo |
Relaterede publikationer
- 1 Konferencebidrag i proceedings
-
Keep me out of the loop: a more flexible choreographic projection
Cruz-Filipe, L., Rasmussen, R. R. & Montesi, F., 3. jun. 2023, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning: EPiC Series in Computing. Piskac, R. & Voronkov , A. (red.). Ethnographic Praxis in Industry Conference (EPIC), Bind 94. s. 144-163 20 s.Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang