Author:
Bugliesi Michele,Macedonio Damiano,Pino Luca,Rossi Sabina
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. Int. J. Cooperative Inf. Syst. 14(4), 333–376 (2005)
2. Bernardi, G., Bugliesi, M., Macedonio, D., Rossi, S.: A theory of adaptable contract-based service composition. In: Global Comp. IEEE Computer Society, Los Alamitos (2008)
3. Lecture Notes in Computer Science;M. Bravetti,2007
4. Lecture Notes in Computer Science;M. Bravetti,2007
5. Lecture Notes in Computer Science;L. Caires,2009
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems;SN Computer Science;2023-06-12
2. Fair termination of binary sessions;Proceedings of the ACM on Programming Languages;2022-01-12
3. Contracts as games on event structures;Journal of Logical and Algebraic Methods in Programming;2016-04
4. An algebraic theory for web service contracts;Formal Aspects of Computing;2015-07
5. Mutually Testing Processes;Logical Methods in Computer Science;2015-04-14