User Tools

Site Tools


talkdezani

Differences

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

Link to this comparison view

Next revision
Previous revision
talkdezani [2014/07/20 16:14]
unige created
talkdezani [2014/07/25 16:57]
unige
Line 3: Line 3:
 **Speaker:​** Mariangiola Dezani **Speaker:​** Mariangiola Dezani
  
-**Authors:​** Tzu-chun Chen, Mariangiola Dezani, ​Nobuko Yoshida ​+**Authors:​** Tzu-chun Chen, Mariangiola Dezani, Nobuko Yoshida ​
  
 **Abstract:​** Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. ​ **Abstract:​** Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. ​
Line 9: Line 9:
 The converse direction, the completeness, ​ has been largely ignored in spite of its usefulness to define the greatest subtyping relation ensuring type safety. ​ The converse direction, the completeness, ​ has been largely ignored in spite of its usefulness to define the greatest subtyping relation ensuring type safety. ​
 This talk discusses preciseness (i.e. both soundness and completeness) of subtyping for mobile processes and studies it for the synchronous and the asynchronous session calculi. ​ This talk discusses preciseness (i.e. both soundness and completeness) of subtyping for mobile processes and studies it for the synchronous and the asynchronous session calculi. ​
 +
 +{{:​dezani.pdf|slides}}
talkdezani.txt ยท Last modified: 2014/07/25 16:57 by unige