Department of Computer Science North Carolina State University Raleigh, NC 27695-7534, USA;
agent communication languages and protocols; methodologies and tools; commitments;
机译:使用事件演算形式化工作流的规范和执行
机译:关于事件演算中的承诺的推理:一种指定和执行协议的方法
机译:使用归纳事件演算的组合语义WEB服务的服务组合和执行计划生成
机译:灵活的协议规范和执行:使用承诺应用事件微积分规划
机译:将视觉规范语言应用于硬件协议验证。
机译:计划执行是否有帮助?规划与执行之间的复杂关系
机译:使用事件演算形式化工作流的规范和执行
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范