Author:
Acciai Lucia,Boreale Michele
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;M. Boreale,2006
2. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and Pipelines for Structured Service Programming. FMOODS 2008 (to appear, 2008), http://rap.dsi.unifi.it/sensoria/
3. Bruni, R., Mezzina, L.G.: A deadlock free type system for a calculus of services and sessions (submitted, 2007)
4. Lecture Notes in Computer Science;S. Carpineti,2006
5. Lecture Notes in Computer Science;S. Carpineti,2006
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A fixed-points based framework for compliance of behavioural contracts;Journal of Logical and Algebraic Methods in Programming;2021-04
2. A Note On Compliance Relations And Fixed Points.;Electronic Proceedings in Theoretical Computer Science;2019-09-12
3. Multiparty Asynchronous Session Types;Journal of the ACM;2016-03-30
4. Compliance in Behavioural Contracts: A Brief Survey;Programming Languages with Applications to Biology and Security;2015
5. Global progress for dynamically interleaved multiparty sessions;Mathematical Structures in Computer Science;2014-11-10