迪米特里斯·莫斯特鲁斯
人员信息
优化列表
2010 – 2019
2018 【j4】 迪米特里斯·莫斯特鲁斯 , 瓦斯科T.瓦斯康塞洛斯 :
仿射会话。 日志。 方法计算。 科学。 14 ( 4 ) ( 2018 ) [i1] 迪米特里斯·莫斯特鲁斯 , 瓦斯科T.瓦斯康塞洛斯 :
仿射会话。 CoRR公司 abs/1809.02781 ( 2018 ) 2016 [j3] 汉斯·海特尔 , 伊万·拉内斯 , Vasco T.Vasconcelos公司 , 路易斯·凯雷斯 , 马克·卡博尼 , 皮尔雷·马洛·丹尼·卢 , 迪米特里斯·莫斯特鲁斯 , 卢卡·帕多瓦尼 , 安托尼奥·拉瓦拉 , 埃米利奥·托斯托 , 雨果·托雷斯·维埃拉 , 吉安路易吉·扎瓦塔罗 :
会话类型和行为契约的基础。 ACM计算。 Surv公司。 49 ( 1 ) : 3:1-3:36 ( 2016 ) 2015 [注2] 迪米特里斯·莫斯特鲁斯 , 吉田信子 :
高阶π演算的会话类型和异步子类型。 Inf.计算。 241 : 227-263 ( 2015 ) 2014 【c8】 迪米特里斯·莫斯特鲁斯 , 瓦斯科红花 :
仿射会话。 协调 2014 : 115-130 【c7】 迪米特里斯·莫斯特鲁斯 :
基于证明网的多方会话。 地点 2014 : 1-8 2012 【c6】 佩德罗·巴尔塔扎尔 , 迪米特里斯·莫斯特罗斯 , 瓦斯科红花 :
线性优化会话类型。 线性 2012 : 38-49 2011 【c5】 迪米特里斯·莫斯特鲁斯 , 瓦斯科红花 :
Featherweight Erlang的会话类型。 协调 2011 : 95-109 2010 【b1】 迪米特里斯·莫斯特鲁斯 :
并发计算中的会话类型:高阶进程和对象。 英国伦敦帝国理工学院, 2010
2000 – 2009
2009 [j1] Mariangiola Dezani-Ciancaglini公司 , 索菲亚·德罗索波卢 , 迪米特里斯·莫斯特鲁斯 , 吉田信子 :
对象和会话类型。 Inf.计算。 207 ( 5 ) : 595-641 ( 2009 ) 【c4】 迪米特里斯·莫斯特鲁斯 , 吉田信子 , Kohei Honda公司 :
部分交换异步会话中的全局主体类型。 员工持股计划 2009 : 316-332 【c3】 迪米特里斯·莫斯特鲁斯 , 吉田信子 :
高阶移动进程的基于会话的通信优化。 薄层色谱分析 2009 : 203-218 2007 【c2】 迪米特里斯·莫斯特鲁斯 , 吉田信子 :
用于高阶移动进程的两个会话类型系统。 薄层色谱分析 2007 : 321-335 2006 【c1】 Mariangiola Dezani-Ciancaglini公司 , 迪米特里斯·莫斯特鲁斯 , 吉田信子 , 索菲亚·德罗索波卢 :
面向对象语言的会话类型。 ECOOP公司 2006 : 328-352