Author:
Acciai Lucia,Boreale Michele,Zavattaro Gianluigi
Publisher
Springer Berlin Heidelberg
Cited by
6 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. Developing Honest Java Programs with Diogenes;Formal Techniques for Distributed Objects, Components, and Systems;2016
4. Compliance in Behavioural Contracts: A Brief Survey;Programming Languages with Applications to Biology and Security;2015
5. Session types for safe Web service orchestration;The Journal of Logic and Algebraic Programming;2013-11