Real-timed concurrent refineable behaviours-Reference-Cited by-同舟云学术

Real-timed concurrent refineable behaviours

Published:1992 Issue: Volume: Page:529-545
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Murphy David,Pitt David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55092-5_29.pdf

Reference37 articles.

1. U. Abraham, S. Ben-David, and M. Magidor, On global time and inter-process communication, in Semantics for Concurrency (M. Kwiatkowska, M. Shields, and R. Thomas, Eds.), (1990), Springer-Verlag Workshops in Computing, Leicester.

2. L. Aceto, Action — refinement in process algebras, Ph.D. thesis, Department of Computer Science, University of Sussex, 1991, available as Technical Report Number 3/91.

3. M. Bednarczyk, Categories of asynchronous systems, Ph.D. thesis, Department of Computer Science, University of Sussex, 1987.

4. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, Observing localities, Technical Report 4/91, Department of Computer Science, University of Sussex, 1991.

5. I. Castellani and M. Hennessy, Distributed bisimulations, Journal of the ACM, Volume 10 (1989), pp. 887–911.

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

1. Action Refinement for Real-Time Concurrent Processes with Urgency;Journal of Computer Science and Technology;2005-07

2. Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model;Electronic Notes in Theoretical Computer Science;2002-11

3. Action Refinement for Probabilistic Processes with True Concurrency Models;Lecture Notes in Computer Science;2002

4. Timing and causality in process algebra;Acta Informatica;1996-06