Differences

This shows you the differences between two versions of the page.

invited_speakers [2011/05/26 23:39]
marjan
invited_speakers [2011/05/27 08:16] (current)
marjan
Line 6: Line 6:
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified.
The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type.
 +
 +**Giuseppe Castagna (Beppe)**\\
 +
 +Giuseppe Castagna is a senior researcher at CNRS. After twelve years at the Computer Science Department of École Normale Supériere in Paris where he led the Programming Languages group, in 2006 he moved to the PPS laboratory of University of Paris 7. His research interests span over programming languages for XML and Web applications, type theory, and concurrency theory
 +
=== Paulo Verissimo (Univ. of Lisbon FCUL, Portugal) === === Paulo Verissimo (Univ. of Lisbon FCUL, Portugal) ===
invited_speakers.txt · Last modified: 2011/05/27 08:16 by marjan
Reykjavik University - School of Computer Science - discotec@ru.is