Nominal Calculi for Transactions: ZSN in JOIN II Roberto Bruni Dipartimento di Informatica Università di Pisa Models and Languages for Coordination and Orchestration IMT-…
