BEAT 2014 - 3rd International Workshop on Behavioural Types

ORGANIZERS: Simon Gay (University of Glasgow), on behalf of COST
Action IC1201 (BETTY)
DESCRIPTION
Modern society is increasingly dependent on large-scale software
systems that are distributed, collaborative and communication-centred.
Correctness and reliability of such systems depend on compatibility
between components and services that are newly developed or may
already exist. The consequences of failure are severe, including
security breaches and unavailability of essential services.
To address this problem, behavioural type theory is being used as the
basis for new foundations, programming languages, and software
development methods for communication-intensive distributed systems.
Behavioural type theory encompasses concepts such as interfaces,
communication protocols, contracts, and choreography. As a unifying
structural principle it has the potential to transform the theory and
practice of distributed software development.