Author:
Bihler Elmar,Vogler Walter
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
2. Arun-Kumar, S., Hennessy, M.: An efficiency preorder for processes. Acta Informatica 29, 737–760 (1992)
3. Arun-Kumar, S., Natarajan, V.: Conformance: a precongruence close to bisimilarity. In: Desel, J. (ed.) Structures in Concurrency Theory, Worksh. in Computing, pp. 55–68. Springer, Heidelberg (1995)
4. Alexandrescu, A.: Modern C++ Design – Applied Generic and Design Patterns. C++ In-Depth Series (2001)
5. Aceto, L., Murphy, D.: On the ill–timed but well–caused. Acta Informatica 33, 317–350 (1996)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献