Author:
Bernardi Giovanni,Hennessy Matthew
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Barbanera, F., de’Liguoro, U.: Two notions of sub-behaviour for session-based client/server systems. In: Kutsia, T., Schreiner, W., Fernández, M. (eds.) PPDP, pp. 155–164. ACM (2010)
2. Bernardi, G.: Behavioural Equivalences for Web Services. PhD thesis, Trinity College Dublin (2013),
https://www.scss.tcd.ie/~bernargi
3. Lecture Notes in Computer Science;M. Bugliesi,2010
4. Lecture Notes in Computer Science;M. Bravetti,2009
5. Lecture Notes in Computer Science;S. Carpineti,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multiparty Testing Preorders;Trustworthy Global Computing;2016
2. Orchestrated Session Compliance;Electronic Proceedings in Theoretical Computer Science;2015-08-19
3. Sub-behaviour relations for session-based client/server systems;Mathematical Structures in Computer Science;2014-11-14
4. Choreographies and Behavioural Contracts on the Way to Dynamic Updates;Electronic Proceedings in Theoretical Computer Science;2014-11-13
5. Compliance and Testing Preorders Differ;Software Engineering and Formal Methods;2014