A Note On Compliance Relations And Fixed Points

International Conference on Information and Computation Economies Pub Date : 2019-09-12 DOI:10.4204/EPTCS.304.3

Maurizio Murgia

引用次数: 4

Abstract

We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.

查看原文本刊更多论文

关于遵从关系和不动点的注解

我们研究了基于标记转换系统的语法独立环境下行为契约之间的遵从关系。我们引入了一个基于不动点的顺应关系族，并证明了文献中出现的许多顺应关系都属于这个族。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Conference on Information and Computation Economies

自引率

0.00%

发文量