PiET: Pi Calculus Equivalences Tester 开源

Name: PiET: Pi Calculus Equivalences Tester 开源
Rating: 4.5 (35 reviews)
Author: role_86486

上传者：role_86486 2021-05-10 19:59:47上传 ZIP文件 274.3KB 热度 35次

PiET是用于Pi演算的十项行为等效的验证工具。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

PiET Pi Calculus Equivalences Tester开源

PiET是用于Pi演算的十项行为等效的验证工具。

大小：274KB | 2021-05-10 19:59:47
pi_calculus

Robinmilner的pi演算介绍，作者是图灵奖的获得者。

大小：0B | 2019-05-12 23:30:48
Pi Calculus Robin Milner

PiCalculusRobinMilner

大小：0B | 2020-05-31 07:54:39
Free Tester PRO 开源

\"Free Tester PRO\"是一个开源的在线测试系统，专为教育领域设计，评估和测试学生的学...

大小：1.36MB | 2024-10-21 08:13:50
Combat System Tester开源

Comsyste是一种实用程序,可通过在给定的战斗公式下运行战斗模拟来评估计算机游戏战斗系统的公平性...

大小：45KB | 2021-04-27 09:19:38
Communicating and Mobile Systems the Pi Calculus0

Pi-Calculus introduction

大小：56KB | 2021-04-21 22:11:01
ODF_Accessibility_Tester开源

“ ODF_Accessibility_Tester”可以分析odf文档的可访问性。

大小：9KB | 2021-05-10 04:14:16
前端开源库textlint tester

前端开源库-textlint-testertextLint测试仪，用于textLint规则的测试工具...

大小：3.62MB | 2020-07-20 12:48:04
Discrete Event Calculus Reasoner开源

Discrete Event Calculus Reasoner是一个开源程序,用于使用离散事件演算...

大小：344KB | 2021-05-10 22:56:12
Modeling and analysis of WTLS handshake protocol based on applied Pi calculus

Modeling and analysis of WTLS handshake protocol b...

大小：169KB | 2021-02-23 05:41:47
A Pi Calculus based Context Aware Model for Web Service Composition

A Pi-Calculus based Context-Aware Model for Web Se...

大小：321KB | 2021-03-15 09:35:13
Stable equivalences of adjoint tpye

伴随型稳定等价，惠昌常，，我们证明了，对于n大于0，Hochschild 上同调群H^n 是伴随型稳...

大小：345KB | 2020-07-17 20:22:05
piet神秘的编程语言Piet的胡扯小编辑器源码

#Piet代码编辑器和口译员指令表可以单击指令表(左下方)以根据当前选择为所单击的操作选择颜色。...

大小：19KB | 2021-05-12 09:33:11
A construction of stable equivalences of Morita type

Morita型稳定等价的一个构造方法，胡维，，Morita型稳定等价是有限维代数之间的一个非常基本的...

大小：0B | 2020-05-13 07:00:21
前端开源库pi lib

前端开源库-pi-libpi lib,空

大小：181KB | 2020-08-11 12:13:40
Iterated almost u stable derived equivalences

重复几乎$u$稳定导出等价，胡维，，代数之间的导出等价和稳定等价是两个相互独立的概念,但两个代数之间...

大小：130KB | 2020-07-17 20:22:11