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