-
Andrew Hirsch authored
Annotated choreographies, which have both (a) synchronization annotations and (b) line numbers identifying if statements.
fc5ecc0a
Annotated choreographies, which have both (a) synchronization annotations and (b) line numbers identifying if statements.