A Faster-than Relation for Asynchronous Processes

机译：异步过程的快于关系

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper introduces a novel (bi)simulation-based faster-than preorder which relates asynchronous processes with respect to their worst-case timing behavior. The studies are conducted for a conservative extension of the process algebra CCS, called TACS, which permits the specification of maximal time bounds of actions. The most unusual contribution is in showing that the proposed faster-than preorder coincides with two other preorders, one of which considers the absolute times at which actions occur in system runs. The paper also develops the semantic theory of TACS, addressing congruence properties, equational laws, and abstractions from internal actions.

机译：本文介绍了一种新颖的，基于（双）模拟的快于预排序的方法，该方法将异步过程与其最坏的时序行为相关联。进行这些研究是为了保守地扩展过程代数CCS（称为TACS），该过程允许指定动作的最大时限。最不寻常的贡献是，表明拟议的快于预购订单与其他两个预购订单相吻合，其中之一考虑了系统运行中发生动作的绝对时间。本文还开发了TACS的语义理论，解决了同余性质，方程式定律和内部行为的抽象。

著录项

来源
《12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark》|2001年|p.262-276|共15页
会议地点 Aalborg(DK);Aalborg(DK)
作者
Gerald Luettgen; Walter Vogler;
展开▼
作者单位

Department of Computer Science, Sheffield University, 211 Portobello Street, Sheffield S1 4DP, U.K;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Research Related Electromechanical Processes in an Asynchronous Traction Motor - Asynchronous Generator with Common Shaft Based on Field Model [J] . Advances in Electrical and Electronic Engineering . 2015,第5期

机译：基于场模型的异步牵引电动机-通用轴异步发电机相关机电过程的研究。
2. The asynchronous state's relation to large-scale potentials in cortex [J] . Alishbayli A., Tichelaar J. G., Gorska U., Journal of Neurophysiology . 2019,第6期

机译：异步状态与皮质中大规模潜力的关系
3. Implementation Relations for Testing Through Asynchronous Channels [J] . Robert M. Hierons The Computer journal . 2013,第11期

机译：通过异步通道进行测试的实现关系
4. A Faster-than Relation for Asynchronous Processes [C] . Gerald Luttgen, Walter Vogler International Conference on Concurrency Theory . 2001

机译：比异步进程的关系更快
5. Implementation of instructional processes and the examination of asynchronous complex geoscience communications. [D] . Ramirez, Monica E. 2007

机译：教学过程的实施和异步复杂地球科学通信的检查。
6. Asynchronous Embryo Transfer Followed by Comparative Transcriptomic Analysis of Conceptus Membranes and Endometrium Identifies Processes Important to the Establishment of Equine Pregnancy [O] . Charlotte Gibson, Marta de Ruijter-Villani, Stefan Bauersachs, 2020

机译：异步胚胎移植然后进行概念胎膜和子宫内膜的比较转录组分析确定对马妊娠建立重要的过程
7. A Faster-than Relation for Asynchronous Processes [O] . Gerald Lüttgen, Walter Vogler, Universitt Augsburg Augsburg, 2001

机译：异步过程的快于关系
8. A Faster-than Relation for Asynchronous Processes [R] . Luettgen, Gerald, Vogler, Walter 2001

机译：异步进程的快速关系

A Faster-than Relation for Asynchronous Processes

摘要

著录项

相似文献

相关主题

期刊订阅