Author:
Andersen Henrik Reif,Mendler Michael
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. L. Aceto and D. Murphy. On the ill-timed but well-caused. In E. Best, editor, Proc. Concur'93, pages 97–111. Springer LNCS 715, 1993.
2. R. Alur and D. Dill. The theory of timed automata. In de Bakker et al. [11], pages 45–73.
3. H. R. Andersen and M. Mendler. A complete axiomatization of observation congruence in PMC. Technical Report ID-TR:1993-126, Department of Computer Science, Technical University of Denmark, December 1993.
4. H. R. Andersen and M. Mendler. A process algebra with multiple clocks. Technical Report ID-TR:1993-122, Department of Computer Science, Technical University of Denmark, August 1993.
5. H. R. Andersen and M. Mendler. An asynchronous process algebra with multiple clocks. In D. Sannella, editor, Programming Languages and Systems — ESOP'94, pages 58–73. Springer, LNCS 788, 1994.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An algebraic theory of multiple clocks;CONCUR '97: Concurrency Theory;1997