Dynamic Choreographies: Theory And Implementation

Publication
Logical Methods in Computer Science

Related