Loosening the notions of compliance and sub-behaviour in client/server systems-Reference-Cited by-同舟云学术

Loosening the notions of compliance and sub-behaviour in client/server systems

Author:

Barbanera Franco¹,de' Liguoro Ugo²

Affiliation:

1. Dipartimento di Matematica e Informatica, Univ. Catania

2. Dipartimento di Informatica, Univ. Torino

Publisher

Open Publishing Association

Reference17 articles.

1. On Guarded Recursion.;Badouel;Theor. Comput. Sci.,1991

3. Compliance for reversible client/server interactions;Barbanera,2014

4. Sub-behaviour relations for session-based client/server systems;Barbanera;MSCS,2013

5. Modelling session types using contracts;Bernardi;To appear in Mathematical Structures in Computer Science,2013

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

1. Two notions of sub-behaviour for session-based client/server systems: 10 Years Later;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08

2. Orchestrated session compliance;Journal of Logical and Algebraic Methods in Programming;2017-01

3. Reversible client/server interactions;Formal Aspects of Computing;2016-07

4. Contracts as games on event structures;Journal of Logical and Algebraic Methods in Programming;2016-04

5. Orchestrated Session Compliance;Electronic Proceedings in Theoretical Computer Science;2015-08-19