65 citations · 340 across the 42 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 35 cited
On the Preciseness of Subtyping in Session Types
Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas +1
Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usuall…
cs.LO2016★ 26 cited
Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić +2
The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundnes…