Author:
De Nicola Rocco,Melgratti Hernán
Publisher
Springer International Publishing
Reference16 articles.
1. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: ACM SIGPLAN Notices, vol. 47, pp. 191–202. ACM (2012)
2. Lecture Notes in Computer Science;G Bernardi,2013
3. Lecture Notes in Computer Science;M Bravetti,2007
4. Bravetti, M., Zavattaro, G.: A foundational theory of contracts for multi-party service composition. Fundam. Informaticae 89(4), 451–478 (2008)
5. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: POPL, pp. 261–272 (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multiparty testing preorders;Logical Methods in Computer Science;2023-01-05
2. Composable partial multiparty session types for open systems;Software and Systems Modeling;2022-09-28
3. An abstract framework for choreographic testing;Journal of Logical and Algebraic Methods in Programming;2021-11
4. Composable Partial Multiparty Session Types;Formal Aspects of Component Software;2021
5. An Abstract Framework for Choreographic Testing;Electronic Proceedings in Theoretical Computer Science;2020-09-17