Verifying programs with unreliable channels, Inf. and Comp, vol.127, issue.2, 1996. ,
Viewing the Web as a Distributed Knowledge Base, 2012 IEEE 28th International Conference on Data Engineering, 2012. ,
DOI : 10.1109/ICDE.2012.150
URL : https://hal.archives-ouvertes.fr/hal-00703210
The Active XML project: an overview, The VLDB Journal, vol.7, issue.4 ,
DOI : 10.1145/4472.4478
A rule-based language for web data management, Proceedings of the 30th symposium on Principles of database systems of data, PODS '11, pp.293-304, 2011. ,
DOI : 10.1145/1989284.1989320
URL : https://hal.archives-ouvertes.fr/inria-00582891
A formal study of collaborative access control in distributed datalog, ICDT, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01290497
Collaborative data-driven workflows, Proceedings of the 32nd symposium on Principles of database systems, PODS '13, 2013. ,
DOI : 10.1145/2463664.2463672
URL : https://hal.archives-ouvertes.fr/hal-00840306
Dedalus: Datalog in time and space, Datalog, pp.262-281, 2010. ,
The hyperion project, ACM SIGMOD Record, vol.32, issue.3, pp.53-58, 2003. ,
DOI : 10.1145/945721.945733
Analyzing data-centric applications: Why, what-if, and how-to, 2016 IEEE 32nd International Conference on Data Engineering (ICDE), 2016. ,
DOI : 10.1109/ICDE.2016.7498289
URL : https://hal.archives-ouvertes.fr/hal-01413879
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983. ,
DOI : 10.1145/322374.322380
Foundations of data-aware process analysis, Proceedings of the 32nd symposium on Principles of database systems, PODS '13, 2013. ,
DOI : 10.1145/2463664.2467796
Causality and the Semantics of Provenance, Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, pp.9-10, 2010. ,
DOI : 10.1093/acprof:oso/9780195183115.001.0001
Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems, 2016 IEEE Symposium on Security and Privacy (SP), pp.598-617, 2016. ,
DOI : 10.1109/SP.2016.42
Automatic Verification of Database-Centric Systems, ACM SIGMOD Record, vol.43, issue.3, pp.5-17, 2014. ,
DOI : 10.1007/978-3-642-19345-3
Verification of communicating data-driven web services, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06, 2006. ,
DOI : 10.1145/1142351.1142364
Incremental maintenance of recursive views using relational calculus/SQL, ACM SIGMOD Record, vol.29, issue.1, pp.44-51, 2000. ,
DOI : 10.1145/344788.344808
Computers and Intractibilitiy: A Guide to the Theory of NP-Completeness, 1979. ,
ORCHESTRA, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, 2007. ,
DOI : 10.1145/1247480.1247631
The declarative imperative, ACM SIGMOD Record, vol.39, issue.1, 2010. ,
DOI : 10.1145/1860702.1860704
Web services composition: A story of models, automata, and logics, ICSOC, 2005. ,
Tools for composite web services, ACM SIGMOD Record, vol.34, issue.2, pp.86-95, 2005. ,
DOI : 10.1145/1083784.1083807
Data management perspectives on business process management, Proceedings of the 2013 international conference on Management of data, SIGMOD '13, pp.943-948, 2013. ,
DOI : 10.1145/2463676.2467802
The ORCHESTRA Collaborative Data Sharing System, ACM SIGMOD Record, vol.37, issue.3, 2008. ,
DOI : 10.1145/1462571.1462577
Wendy: A Tool to Synthesize Partners for Services, Applications and Theory of Petri Nets, pp.297-307, 2010. ,
DOI : 10.1007/978-3-642-13675-7_18
Collaborative access control in Webdamlog, SIGMOD Conference, 2015. ,
Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, issue.3, pp.428-445, 2003. ,
DOI : 10.1147/sj.423.0428
Recursive Unsolvability of a problem of Thue, The Journal of Symbolic Logic, vol.1, issue.01, pp.1-11, 1947. ,
DOI : 10.1090/S0002-9904-1944-08111-1
Synthesizing Cost-Minimal Partners for Services, Service-Oriented Computing, pp.584-591, 2013. ,
DOI : 10.1007/978-3-642-45005-1_49
The Piazza peer data management project, ACM SIGMOD Record, vol.32, issue.3, pp.47-52, 2003. ,
DOI : 10.1145/945721.945732
Does my service have partners? Trans. Petri Nets and Other Models of Concurrency, pp.152-171, 2009. ,
DOI : 10.1007/978-3-642-00899-3_9
URL : http://www.springerlink.com/content/h61124285x387n35/fulltext.pdf
Collaborative Workflow Management for eGovernment, 18th International Conference on Database and Expert Systems Applications (DEXA 2007), pp.845-849, 2007. ,
DOI : 10.1109/DEXA.2007.15