Author:
Bicarregui Juan,Arenas Alvaro,Aziz Benjamin,Massonet Philippe,Ponsard Christophe
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;J.R. Abrial,1998
2. Apt, K.R., Olderog, E.-R.: Proof Rules and Transformations Dealing with Fairness. Science of Computer Programming 3(1), 65–100 (1983)
3. Lecture Notes in Computer Science;A.E. Arenas,2002
4. Electronic Notes in Theoretical Computer Science;A.E. Arenas,2008
5. Lecture Notes in Computer Science;H. Ruíz Barradas,2002
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Detection of Conflicts in Data Sharing Agreements;Communications in Computer and Information Science;2018
2. Foundations for using linear temporal logic in Event-B refinement;Formal Aspects of Computing;2016-11
3. Bibliography;From Action Systems to Distributed Systems;2016-04-20
4. Definition of Data Sharing Agreements;Lecture Notes in Computer Science;2015
5. Towards safer information sharing in the cloud;International Journal of Information Security;2014-08-23