Author:
Bernardi Giovanni,Hennessy Matthew
Publisher
Springer International Publishing
Reference18 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. Ph.D. thesis, Trinity College Dublin.
https://www.scss.tcd.ie/~bernargi
(2013)
3. Bernardi, G., Hennessy, M.: Modelling session types using contracts. In: Ossowski, S., Lecca, P. (eds.) SAC, pp. 1941–1946. ACM (2012)
4. LNCS;G Bernardi,2013
5. LNCS;M Bugliesi,2010
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献