Typing Dynamic Roles in Multiparty Interaction
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.
Provided by: Universidade Nova de Lisboa Topic: Software Date Added: Feb 2012 Format: PDF