User Tools

Site Tools


talkdezani

Differences

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

Link to this comparison view

Last revision Both sides next revision
talkdezani [2014/07/20 16:14]
unige created
talkdezani [2014/07/21 13:41]
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. ​
talkdezani.txt ยท Last modified: 2014/07/25 16:57 by unige