Performance preorder: Ordering processes with respect to speed-Reference-Cited by-同舟云学术

Performance preorder: Ordering processes with respect to speed

Published:1995 Issue: Volume: Page:444-453
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Corradini Flavio,Gorrieri Roberto,Roccetti Marco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60246-1_150.pdf

Reference13 articles.

1. L.Aceto, On Relating Concurrency and Nondeterminism, Technical Report SI/RR-89/06, University of Sussex, 1989.

2. L.Aceto, D.Murphy, Timing and Causality in Process Algebra, Technical Report 9/93, University of Sussex, 1993, to appear in Acta Informatica.

3. S.Arun-Kumar and M.Hennessy, An Efficiency Preorder for Processes, Acta Informatica 29, pp. 737–760, 1992.

4. G.Boudol, I.Castellani, M.Hennessy, A.Kiehn, A Theory of Processes with Localities, Formal Aspects of Computing 6, pp. 165–200, 1993.

5. F.Corradini, R.Gorrieri and M.Roccetti, Performance Preorder and Competitive equivalence, Tech.Rep. LFCS-95-1, University of Bologna, January 1995.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Faster-Than Relation for Semi-Markov Decision Processes;Electronic Proceedings in Theoretical Computer Science;2020-01-20

2. On Decidability of Prebisimulation for Timed Automata;Computer Aided Verification;2012

3. Towards parallelization of concurrent systems;RAIRO - Theoretical Informatics and Applications;1998

4. Eager, Busy-Waiting and Lazy Actions Timed Computation;Electronic Notes in Theoretical Computer Science;1997

5. Mobile processes with local clocks;Analysis and Verification of Multiple-Agent Languages;1997