We illustrate the toolchain by means of an adder protocol example, which models a client requesting two numbers to be added by a server.
We illustrate the toolchain by means of a bookstore (two-buyer) example, which models two buyers coordinationg to buy a book from a seller.
We illustrate the toolchain by means of a travel agency example, which models the process of booking a flight through a university travel agent.
This tutorial gives a more in depth overview of the [St]Mungo toolchain through several examples. It has been first presented as part of the DisCoTec 2020 tutorial series.