This paper 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 communication and to any subsets of participants in a multipa...

The provision of advanced computational services within networks is rapidly becoming both feasible and economical. We present a general approach to the problem of configuring application sessions that require intermediate processing by showing how the session configuration problem can be transformed to a conventional shortest path problem for unicast sessions or to a conventional Steiner tree p...

The emergence of propositions-as-sessions, a Curry-Howard correspondence between propositions Linear Logic and session types for concurrent processes, has settled the logical foundations message-passing concurrency. Central to this approach is resource consumption paradigm heralded by Logic. In paper, we investigate new point in design space type systems programs. We identify O’Hearn Pym’s Bunc...

This qualitative study explores how psychiatric care is negotiated together with multiple health workers from different professional backgrounds and the client as a dialogical process. The purpose of this article to process building shared understanding in interprofessional sessions clinic.The data was collected Finnish services teams. research material consists three video-recorded sessions. a...

Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session). As a generalization of i-session, a group session (g-session) is one in which each party may implement a group of roles based on one channel. In particular, each of the two parties involved in a dya...