放宽客户端/服务器系统中合规性与子行为的概念
计算机科学中的逻辑
2014-10-29 v2
摘要
在客户端/服务器系统的“会话行为”背景下，我们提出了对合规性和子行为关系的弱化，其中相对于常规定义，进一步偏向于客户端（其“请求”必须得到满足），允许客户端“跳过”服务器端“不需要”的输出动作。由此弱化产生的合规性和子行为关系仍然是可判定的，尽管对于服务器端的“对偶即最小值”性质的证明（子行为关系的可判定性依赖于该性质）需要对客户端/服务器交互进行更紧密的分析。
引用
@article{arxiv.1311.5802,
title = {Loosening the notions of compliance and sub-behaviour in client/server systems},
author = {Franco Barbanera and Ugo de' Liguoro},
journal= {arXiv preprint arXiv:1311.5802},
year = {2014}
}
备注
In Proceedings ICE 2014, arXiv:1410.7013