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

未知
Java 查看源码»
跨平台
JBoss
2014-08-04
叶秀兰

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

示例:


的码云指数为
超过 的项目
加载中

评论(0)

暂无评论

暂无资讯

暂无问答

MorphOS组发布SDK更新

MorphOS Team Releases SDK Update MorphOS组发布SDK更新 posted by Thom Holwerda on Wed 7th Sep 2011 22:56 UTC, submitted by Jacek Piszczek 发表于:2011年9月8日 北京时间06:56 The M...

2011/09/08 11:48
24
0
如何在视频里任意抠图?阿里工程师做到了!

阿里妹导读:现在的我们在手机上花费了越来越多的时间,其中,视频又格外地吸引我们的注意力。有很多好玩的视频,需要把前景物体从视频中分割出来,这需要花费创作者99%以上的时间。今天,阿...

08/08 10:37
5
0
如何在视频里任意抠图?阿里工程师做到了!

阿里妹导读:现在的我们在手机上花费了越来越多的时间,其中,视频又格外地吸引我们的注意力。有很多好玩的视频,需要把前景物体从视频中分割出来,这需要花费创作者99%以上的时间。今天,阿...

08/08 10:52
4
0
iOS - 自动释放池与@autoreleasepool

一、官网关于自动释放池的说明截取 NSAutoreleasePool NSAutoreleasePool 类被用来支持自动引用计数内存管理系统。一个自动释放池存储的对象当自己被销毁的时会向其中的对象发送 release 消息...

2017/07/13 10:31
40
0
78 款 Markdown 工具

Markable 强大的在线 Markdown 编辑器,支持语法高亮、自动缩进、高亮所在行、显示行数、即时预览。它支持将 HTML 转换成 Markdown。 可以配合 Evernote、Dropbox 使用。 Markdown Here 使用...

2015/06/30 17:00
180
1
C#.net 微信公众账号接口开发

微信越来越火,微信公众平台成为开发成新宠,本文用C#.net开发微信公众信号接口。 微信接口地址代码: weixin _wx = new weixin(); string postStr = ""; if (Request.HttpMethod.ToLower() ...

2013/04/28 11:23
13.3K
2
iOS崩溃crash大解析//http://www.cnblogs.com/leixu/articles/5395340.html

iOS崩溃crash大解析//http://www.cnblogs.com/leixu/articles/5395340.html 前言 iOS崩溃是让iOS开发人员比较头痛的事情,app崩溃了,说明代码写的有问题,这时如何快速定位到崩溃的地方很重...

2016/11/08 10:52
52
0
CSS奇淫技巧 :视差图像,sticky footer 混合模式等等

CSS是一种独特的语言。乍一看,这似乎很简单,但是,某些在理论上看起来很简单的效果在实践中往往不那么明显。 在本文中,我将分享一些在大多数CSS教程中不太可能找到的有用技巧。 1. Sticky ...

08/02 21:34
2
0
侯捷先生谈程序员与编程

「侯捷观点」进行了4期。通过这个专栏的作用,我开始接触大陆的电脑技术刊物《程序员》和电脑技术网站 CSDN,并累积了相当量的观察和感想。这个专栏前数期谈的都是技术,不是深度书评就是高阶...

2012/05/06 22:33
479
0

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部