Scribble - 通讯应用层协议描述语言


未知
跨平台
Java

软件简介

Scribble 是在通信系统描述应用层协议的语言。Scribble 有一定的理论基础,基于 Pi
演算和会话类型,确保使用语言来进行协议描述,不受活锁或者死锁的影响。

示例: