Author:
Barbanera Franco,Lanese Ivan,de’Liguoro Ugo
Publisher
Springer International Publishing
Reference35 articles.
1. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dep. Sec. Comput. 1(1), 11–33 (2004)
2. Barbanera, F., de’Liguoro, U.: Two notions of sub-behaviour for session-based client/server systems. In: PPDP, pp. 155–164. ACM Press (2010)
3. Barbanera, F., Liguoro, U.: Sub-behaviour relations for session-based client/server systems. MSCS 25(6), 1339–1381 (2015)
4. Lecture Notes in Computer Science;F Barbanera,2016
5. Barbanera, F., Dezani-Ciancaglini, M., de’Liguoro, U.: Compliance for reversible client/server interactions. In: BEAT, EPTCS, vol. 162, pp. 35–42 (2014)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rollback Recovery in Session-Based Programming;Lecture Notes in Computer Science;2023
2. Foundations of Reversible Computation;Reversible Computation: Extending Horizons of Computing;2020
3. A theory of retractable and speculative contracts;Science of Computer Programming;2018-12
4. Session Types for Orchestrated Interactions;Electronic Proceedings in Theoretical Computer Science;2017-11-29