1. A view of cloud computing;Armbrust;Commun. ACM,2010
2. Multiparty asynchronous session types;Honda,2008
3. The Scribble protocol language;Yoshida,2013
4. Choreographies in the wild;Bartoletti;Sci. Comput. Program.,2015
5. Petri Nets: An Introduction;Reisig,1985