Software

Typing Dynamic Roles in Multiparty Interaction

Date Added: Feb 2012
Format: PDF

Communication is a central feature of nowadays software systems, as more and more often systems are built using computational resources that are concurrently available and distributed in the network. Extreme examples include operating systems where functionality is distributed between distinct threads in the system, and a service available on the Internet which relies on third-party (remote) service providers to carry out subsidiary tasks. Building software from the composition of distributed interacting pieces is very flexible, at least in principle, since resources can be dynamically discovered and chosen according to criteria such as availability and work load.