Copenhagen Programming Language Seminar
Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as financial and security protocols and web services. This discipline focuses on global message flows and offers a vantage viewpoint of the system being designed.
In this talk I will introduce a model for choreography and show how global message flows can be mapped into executable code in a session-based setting. In particular, I will discuss how three principles of well-structured description and type structures play a fundamental role in the theory. I will also introduce different extensions of choreography such as interactional exceptions and multiparty session types.
Scientific host:Thomas Hildebrandt Administrative host:
All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org