A Contract-Oriented Middleware-Reference-Cited by-同舟云学术

A Contract-Oriented Middleware

Published:2016 Issue: Volume: Page:86-104
ISSN:0302-9743
Container-title:Formal Aspects of Component Software
language:
Short-container-title:

Author:

Bartoletti Massimo,Cimoli Tiziana,Murgia Maurizio,Podda Alessandro Sebastian,Pompianu Livio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-28934-2_5

Reference38 articles.

1. PayPal buyer protection. https://www.paypal.com/us/webapps/mpp/ua/useragreement-full#13 . Accessed 8 July 2015

2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

3. Ardagna, D., Pernici, B.: Adaptive service composition in flexible processes. IEEE Trans. Software Eng. 33(6), 369–384 (2007)

4. Lecture Notes in Computer Science;G Banavar,1999

5. Bartoletti, M., Cimoli, T., Murgia, M., Patteri, M.G., Mascia, M.J., Podda, A.S., Pompianu, L., COREserve: a contract-oriented reservation marketplace (2015). http://coreserve.unica.it

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SEArch: An Execution Infrastructure for Service-Based Software Systems;Lecture Notes in Computer Science;2024

2. Comparing perfomance abstractions for collective adaptive systems;International Journal on Software Tools for Technology Transfer;2023-11-02

3. A Runtime Environment for Contract Automata;Formal Methods;2023

4. Rast: A Language for Resource-Aware Session Types;Logical Methods in Computer Science;2022-01-12

5. On Model-Based Performance Analysis of Collective Adaptive Systems;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022