Branching pomsets: design, expressiveness and applications to choreographies

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castelani
January 2024
PDF Code Project Project Project Slides (@ICE'23 by Luc) B-Pomset tool
Type
Conference paper
Publication
Journal of Logical and Algebraic Methods in Programming
Ibex VALU3S Route25

Related