Research output per year
Research output per year
Description
An extension of the formalization of Core Choreographies with a more sophisticated notion of projection.
| Date made available | 17. Mar 2023 |
|---|---|
| Publisher | Zenodo |
Related research output
- 1 Article in 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. (eds.). Ethnographic Praxis in Industry Conference (EPIC), Vol. 94. p. 144-163 20 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access