Author:
Andersen Henrik Reif,Mendler Michael
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. R. Alur and D. Dill. The theory of timed automata. In de Bakker et al. [dBHdRR91], pages 45–73.
2. 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.
3. 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.
4. A. Benveniste, M. Le Borgne, and P. Le Guernic. Hybrid systems: The Signal approach. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 230–254. Springer LNCS 736, 1993.
5. G. Berry and L. Cosserat. The esterel synchronous programming language and its mathematical semantics. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, pages 389–448. Springer LNCS 197, 1984.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献