乔纳森·比林顿
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2012 [公元16年] 索尼亚·阿诺德 , 乔纳森·比林顿 :
超文本传输协议在传输控制协议上运行的初始有色Petri网模型。 事务处理。 Petri网其他模型。 同意。 6 : 226-250 ( 2012 ) 2011 [公元53年] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
具有分叉连接子网的广义随机Petri网的参数稳态分析。 Petri网 2011 : 268-287 2010 [第52条] 盖伊·爱德华·加拉什 , 乔纳森·比林顿 :
封闭分叉连接网络中稳态概率收敛性的研究。 ATVA公司 2010 : 143-157 [第51条] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
受控分叉连接网络稳态概率的闭式近似。 ICFEM公司 2010 : 420-435
2000 – 2009
2009 [公元15年] 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 盖伊·爱德华·加拉斯 :
参数化彩色Petri网信道模型。 事务处理。 Petri网其他模型。 同意。 三 : 71-97 ( 2009 ) [公元14年] 乔纳森·比林顿 , 丛源 :
动态MANET按需(DYMO)路由协议的建模与分析。 事务处理。 Petri网其他模型。 同意。 三 : 98-126 ( 2009 ) [公元50年] 林刘(Lin Liu) , 乔纳森·比林顿 :
递归参数自动机和ε删除。 FMOODS/FORTE公司 2009 : 90-105 [电子5] 库尔特·延森 , 乔纳森·比林顿 , 库特尼 :
Petri网和其他并发模型上的事务III。 计算机科学课堂讲稿 5800, 施普林格 2009 ,国际标准图书编号 978-3-642-04854-8 [目录] 2008 [j13] 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 :
演变中的互联网标准的彩色Petri网建模:数据报拥塞控制协议。 芬达姆。 信息学 88 ( 三 ) : 357-385 ( 2008 ) [j12] Somsak Vanit Anunchai公司 , 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
使用扫描线方法分析数据报拥塞控制协议的连接管理过程。 国际期刊软件。 工具技术。 Transf公司。 10 ( 1 ) : 29-56 ( 2008 ) [公元11年] 盖伊·爱德华·加拉斯 , 尼姆罗德·莉莉丝 , 乔纳森·比林顿 , 林章(Lin Zhang) , 车轴折弯机 , 本杰明·弗朗西斯 :
国防后勤网络建模。 国际期刊软件。 工具技术。 Transf公司。 10 ( 1 ) : 75-93 ( 2008 ) [公元49年] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
一类停止等待协议的参数化语言分析。 Petri网 2008 : 191-210 [公元48年] 乔纳森·比林顿 , 阿马尔·库马尔·古普塔 , 盖伊·爱德华·加拉斯 :
使用彩色Petri网对合同网协议扩展进行建模和分析。 复地 2008 : 169-184 [公元47年] 盖伊·爱德华·加拉斯 , 本杰明·弗朗西斯 , 克里斯托弗·穆恩 , 乔纳森·比林顿 :
国防后勤维护过程中的人员建模。 SimuTools(模拟工具) 2008 : 18 [公元46年] 乔纳森·比林顿 , 史密特·萨布 :
对基于信用的流量控制协议的研究。 SimuTools(模拟工具) 2008 : 34 [e4] 乔纳森·比林顿 , 段振华 , 库特尼 :
第八届并行应用于系统设计国际会议(ACSD 2008),中国西安,2008年6月23日至27日。 电气与电子工程师协会 2008 ,国际标准图书编号 978-1-4244-1838-1 [目录] [电子3] 库尔特·延森 , Wil M.P.van der Aalst先生 , 乔纳森·比林顿 :
Petri网和其他并发模型上的事务I。 计算机科学课堂讲稿 5100, 施普林格 2008 ,国际标准图书编号 978-3-540-89286-1 [目录] 2007 [公元10年] 乔纳森·比林顿 , 韩冰(Bing Han) :
TCP数据传输服务语言的形式化:符号自动机及其特性。 芬达姆。 信息学 80 ( 1-3 ) : 49-74 ( 2007 ) [公元9年] 乔纳森·比林顿 , Bing Han公司 :
对TCP连接管理过程的功能行为进行建模和分析。 国际期刊软件。 工具技术。 Transf公司。 9 ( 3-4 ) : 269-304年 ( 2007 ) [j8] 林刘(Lin Liu) , 乔纳森·比林顿 :
能力交换信令协议的验证。 国际期刊软件。 工具技术。 Transf公司。 9 ( 3-4 ) : 305-326 ( 2007 ) [j7] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 拉尔斯·迈克尔·克里斯滕森 :
用扫线法在空中检查安全性能。 国际期刊软件。 工具技术。 Transf公司。 9 ( 3-4 ) : 371-391 ( 2007 ) [公元45年] Somsak Vanit Anunchai公司 , 乔纳森·比林顿 :
数据报拥塞控制协议的连接管理和同步过程建模。 ICATPN公司 2007 : 423-444 [公元44年] 林刘(Lin Liu) , 乔纳森·比林顿 :
修改后的能力交换信令协议参数验证的符号语言表示。 PDCAT公司 2007 : 480-487 2006 [公元43年] Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 :
序列号包装对DCCP连接建立的影响。 马斯科茨 2006 : 345-354 [公元42年] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
用于分析无限类停止等待协议的参数状态空间。 自旋蛋白 2006 : 201-218 [公元41年] 尼姆罗德·莉莉丝 , 乔纳森·比林顿 , 约恩·弗雷海特 :
广义随机petri网中fork-join结构的近似闭式聚合。 VALUETOOLS价值工具 2006 : 32 2005 [j6] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 , 劳雷·佩特鲁奇 :
用有色Petri网建模的一类停止等待协议的验证。 Nord.J.计算。 12 ( 三 ) : 251-274 ( 2005 ) [公元40年] 韩冰(Bing Han) , 乔纳森·比林顿 :
TCP连接管理过程的终止属性。 ICATPN公司 2005 : 228-249 [公元39年] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
使用参数自动机验证协议的停止和等待类。 ATVA公司 2005 : 457-473 [公元38年] Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 , Tul Kongprakaiwoot公司 :
发现数据报拥塞控制协议中的Chatter和不完整性。 复地 2005 : 143-158 [公元37年] 盖伊·爱德华·加拉斯 , 韩冰(Bing Han) , 乔纳森·比林顿 :
TCP连接管理的扫描线分析。 ICFEM公司 2005 : 156-172 2004 [j5] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 , 拉尔斯·迈克尔·克里斯滕森 , 托马斯·梅隆德 :
利用等价约简和扫描线方法检测终端状态。 IEEE传输。 系统。 人类网络。 A部分 34 ( 1 ) : 23至37 ( 2004 ) [公元36年] 乔纳森·比林顿 , 韩冰(Bing Han) :
TCP数据传输服务在无限信道上运行的状态空间的闭式表达式。 ACSC公司 2004 : 31-39 [公元35年] 林刘(Lin Liu) , 乔纳森·比林顿 :
减少参数自动机:多媒体协议服务案例研究。 ATVA公司 2004 : 483-486 [c34] 约恩·弗雷海特 , 乔纳森·比林顿 :
使用TimeNET评估运营规划流程。 业务流程管理 2004 : 17-32 [公元33年] 欧阳春 , 乔纳森·比林顿 :
互联网开放交易协议的形式化分析。 FORTE研讨会 2004 : 1-15 [公元32年] 林刘(Lin Liu) , 乔纳森·比林顿 :
获取H.245多媒体能力交换信令协议的服务语言:最后一步。 MMM(毫米) 2004 : 323- [公元31年] 欧阳春 , 乔纳森·比林顿 :
互联网开放交易协议的改进形式规范。 囊 2004 : 779-783 2003 【j4】 玛丽亚·维拉波尔 , 乔纳森·比林顿 :
一种用于形式化和分析资源预留协议的有色Petri网方法。 CLEI Electron公司。 J。 6 ( 1 ) ( 2003 ) [公元30年] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 , Bing Han公司 :
协议验证的有色Petri网方法。 并发与Petri网讲座 2003 : 210-290 [公元29年] 乔纳森·比林顿 , 韩冰(Bing Han) :
关于定义TCP提供的服务。 ACSC公司 2003 : 129-138 [公元28年] 劳雷·佩特鲁奇 , 乔纳森·比林顿 , 拉尔斯·迈克尔·克里斯滕森 , 扎希德·库雷希 :
制定海上监视飞机任务系统的正式规范。 ACSD系统 2003 : 92-101 [公元27年] 玛丽亚·维拉波尔 , 乔纳森·比林顿 :
分析资源预留协议的属性。 ICATPN公司 2003 : 377-396 [公元26年] 乔纳森·比林顿 , 瑟伦·克里斯滕森 , Kees M.van Hee先生 , Ekkart点燃器 , 奥拉夫·库默 , 劳雷·佩特鲁奇 , 雷尼尔邮报 , 克里斯蒂安·斯特诺 , 米夏埃尔·韦伯 :
Petri网标记语言:概念、技术和工具。 ICATPN公司 2003 : 483-505 [公元25年] 欧阳春 , 乔纳森·比林顿 :
互联网公开交易协议的验证。 电子商务网站 2003 : 292-302 [公元24年] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
停止和等待协议如何在互联网上失败。 复地 2003 : 209-223 【c23】 约恩·弗雷海特 , 乔纳森·比林顿 :
GSPN聚合闭式计算的新发展。 ICFEM公司 2003 : 471-490 2002 [公元22年] 史蒂文·戈登 , 拉尔斯·迈克尔·克里斯滕森 , 乔纳森·比林顿 :
验证修改后的WAP无线事务协议。 ICATPN公司 2002 : 182-202 【c21】 林刘(Lin Liu) , 乔纳森·比林顿 :
处理多媒体控制协议服务规范的无限状态空间。 ICATPN公司 2002 : 273-293年 [公元20年] 欧阳春 , 拉尔斯·迈克尔·克里斯滕森 , 乔纳森·比林顿 :
互联网开放交易协议的正式服务规范。 ICATPN公司 2002 : 352-373 [第19条] 欧阳春 , 拉尔斯·迈克尔·克里斯滕森 , 乔纳森·比林顿 :
互联网开放交易协议的形式化和可执行规范。 电子商务网站 2002 : 377-387 [第18条] 阿比谢克·辛格 , 乔纳森·比林顿 :
基于ISO/IEC 14752的IIOP正式服务规范。 FMOODS公司 2002 : 111-125 2000 [第17条] 史蒂文·戈登 , 乔纳森·比林顿 :
使用彩色Petri网分析WAP Class 2无线事务协议。 ICATPN公司 2000 : 207年至226年
1990 – 1999
1999 [第16条] 安德鲁·托克马科夫 , 乔纳森·比林顿 :
一种分析相互工作的交易者的方法。 ICATPN公司 1999 : 127-146 [第15条] 玛丽亚·维拉波尔 , 乔纳森·比林顿 :
低地球轨道卫星RSVP。 偶像 1999 : 295-302 [第14条] 史蒂文·戈登 , 乔纳森·比林顿 :
使用彩色Petri网对WAP事务服务进行建模。 MDA公司 1999 : 109-118 [电子2] 乔纳森·比林顿 , 米歇尔·迪亚兹 , 格列泽戈兹·罗森伯格 :
Petri网在通信网络中的应用,Petri网的进展。 计算机科学课堂讲稿 1605, 施普林格 1999 ,国际标准图书编号 3-540-65870-X型 [目录] 1998 [j3] 史蒂文·戈登 , 乔纳森·比林顿 :
用彩色Petri网分析导弹模拟器。 国际期刊软件。 工具技术。 Transf公司。 2 ( 2 ) : 144-159 ( 1998 ) 1996 [注2] 安德鲁·托克马科夫 , 乔纳森·比林顿 :
ODP Trader的有色Petri网建模,用于资源发现。 计算。 公社。 19 ( 1 ) : 39-48 ( 1996 ) [第13条] 乔纳森·比林顿 :
使用P-图的协议规范,这是一种基于彩色Petri网的技术。 Petri网(2) 1996 : 293-330 [第12条] D.J.弗洛里亚尼 , 乔纳森·比林顿 , A.J.达德 :
使用彩色Petri网和Design/CPN设计和验证通信网关。 Petri网的理论与应用 1996 : 153-171 [e1] 乔纳森·比林顿 , 沃尔夫冈·雷西格 :
1996年《Petri网的应用和理论》,第17届国际会议,日本大阪,1996年6月24日至28日,会议记录。 计算机科学课堂讲稿 1091, 施普林格 1996 ,国际标准图书编号 3-540-61363-3 [目录] 1994 [第11条] 乔纳森·比林顿 :
软件工程ISO标准。 软件质量和生产力 1994 : 189-192 1991 [第10条] 乔纳森·比林顿 , 杰弗里·惠勒 , 布莱恩·凯克 , 肯·帕克 :
工具演示:忘记。 复地 1991 : 457-461
1980 – 1989
1989 【c9】 乔纳森·比林顿 :
彩色Petri网的扩展。 PNPM公司 1989 : 61至70 【c8】 乔纳森·比林顿 :
多分类高级网络。 PNPM公司 1989 : 166-179 1988 [j1] 乔纳森·比林顿 , 杰弗里·惠勒 , 迈克尔·威尔伯·哈姆 :
PROTEAN:通信协议规范和验证的高级Petri网工具。 IEEE传输。 软件工程。 14 ( 三 ) : 301-316 ( 1988 ) 【c7】 乔纳森·比林顿 :
剑桥快速环M-Access服务的高级Petri网规范。 并发系统的规范和验证 1988 : 526-556 1986 【c6】 杰弗里·惠勒 , 蒂莫西·J·巴顿 , 乔纳森·比林顿 , 迈克尔·威尔伯·哈姆 :
协议工程方法。 国际协调委员会 1986 : 525-530 1985 【c5】 杰弗里·惠勒 , 迈克尔·威尔伯·哈姆 , 乔纳森·比林顿 , J.A.吉尔穆尔 :
使用数值Petri网进行协议分析。 Petri网的应用与理论 1985 : 435-452 【c4】 乔纳森·比林顿 :
关于指定协议服务的性能方面。 PNPM公司 1985 : 288-295 【c3】 乔纳森·比林顿 , 迈克尔·威尔伯·哈姆 , M.Y.Bearman先生 :
自动协议验证。 公共电视台 1985 : 59-70 1983 【c2】 乔纳森·比林顿 :
使用标记的数字Petri网的ISO传输服务定义的抽象规范。 协议规范、测试和验证 1983 : 173-185 1982 【c1】 乔纳森·比林顿 :
使用数值Petri网的传输服务规范。 公共电视台 1982 : 77-100
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)