Multiparty Sessions based on Proof Nets

IF 0.1 4区历史学 0 ARCHAEOLOGY

Journal of Historic Buildings and Places Pub Date : 2014-06-13 DOI:10.4204/EPTCS.155.1

D. Mostrous

引用次数: 2

Abstract

We interpret Linear Logic Proof Nets in a term language based on Solos calculus. The system includes a synchronisation mechanism, obtained by a conservative extension of the logic, that enables to define non-deterministic behaviours and multiparty sessions.

查看原文本刊更多论文

基于Proof Nets的多方会议

我们用基于Solos微积分的术语语言来解释线性逻辑证明网。该系统包括一个同步机制，通过逻辑的保守扩展获得，该机制允许定义非确定性行为和多方会话。

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

求助全文

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

来源期刊

Journal of Historic Buildings and Places

自引率

0.00%

发文量