首页期刊浏览 2024年12月01日星期日

登录注册

全文

	有本地全文	3篇
	有全文链接	1篇

出版年度

	2010	3篇
	2008	1篇

作者

	Gwen Salaün	4篇
	Carlos Canal	2篇
	Ernesto Pimentel	1篇
	Javier Cubo	1篇
	Javier Cámara	1篇

Meriem Ouederni

1篇

来源期刊

	Electronic Proceedings in Theoretical Computer Science	3篇
	Journal of Universal Computer Science	1篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

	澳大利亚	3篇
	奥地利	1篇

检索条件:"( ( 高级检索(( ((AU:(("Gwen Salaün")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Handling Data-Based Concurrency in Context-Aware Service Protocols

作　　者：Javier Cubo ;Ernesto Pimentel ;Gwen Salaün 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;30:62-77.doi:10.4204/EPTCS.30.5

出版社：Open Publishing Association

文章 ID：83119960

文章详细全文下载
2.Analysis and Verification of Service Interaction Protocols - A Brief Survey

作　　者：Gwen Salaün

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;35:75-86.doi:10.4204/EPTCS.35.7

出版社：Open Publishing Association

文章 ID：83120017

文章详细全文下载
3.Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

作　　者：Meriem Ouederni ;Gwen Salaün

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;37:57-70.doi:10.4204/EPTCS.37.5

出版社：Open Publishing Association

文章 ID：83120033

文章详细全文下载
4.Composition and Run-time Adaptation of Mismatching Behavioural Interfaces

作　　者：Javier Cámara ;Gwen Salaün ;Carlos Canal

出　　处：Journal of Universal Computer Science. 2008 ;14(13):2182-2211.

出版社：Graz University of Technology and Know-Center

文章 ID：186873659

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有