机译:使用过程代数编码的编排的可实现性
Grenoble INP, INRIA, Grenoble;
Service protocols; asynchronous communication; choreography; process algebra; realizability; tools.; verification;
机译:可实现的因果态度一致的可逆编舞,用于先进先出通信渠道的系统
机译:通过自动分配分布式协调代表增强编排可实现性
机译:Web服务编排的可实现时间逻辑
机译:使用过程代数编码的编排的可实现性
机译:关系代数工具包:一种用户友好的方法,用于在网络上呈现和处理关系代数查询。
机译:HIV-1蛋白水解加工和病毒体装配的编排
机译:使用过程代数编码实现编排
机译:关于代数增长扰动的环境可实现性及其与Klebanoff模式的关系