Modeling Interaction-Oriented Architectures using Choreographies. - Kyle Dingenouts; Mitchell Klijs; Jan Martijn E. M. van der Werf (PNSE@Petri Nets, 2023)