Department of Computing Science University of Glasgow, UK;
rnDepartment of Informatics University of Lisbon, Portugal;
rnCITI and Department of Informatics, FCT, New University of Lisbon, Portugal;
rnDepartment of Computing Science University of Glasgow, UK;
rnDepartment of Informatics University of Lisbon, Portugal;
aession types; object-oriented calculus; non-uniform method availability; typestates;
机译:用于分布式面向对象编程的模块化会话类型
机译:用于安全分布式编程的多方会话的线性分解
机译:用于安全分布式编程的多方会话的线性分解
机译:用于分布式面向对象编程的模块化会话类型
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:分布式面向对象编程的模块化会话类型