CAPECCHI , Sara

This article proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, preserving compatibility of the multiparty conversations. Our escape is realised by a collection of asynchronous local exceptions which can be thrown at any stage of the...

We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of processes as soon as they attempt to leak information. We illustrate the use of this semantics with various examples, and show that the induced safety property is...

This experience report presents a participatory process that involved primary school teachers and computer science educationresearchers. The objective of the process was to co-design a learning module to teach iteration to second graders using a visualprogramming environment and based on the Use-Modify-Createmethodology. The co-designed...