User Tools

Site Tools


talkdezani

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
talkdezani [2014/07/21 13:41]
unige
talkdezani [2014/07/25 16:57] (current)
unige
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