Author:
Lüttgen Gerald,Vogler Walter
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference48 articles.
1. L. Aceto, W. Fokkink, C. Verhoef, Structural operational semantics, in: Bergstra et al. 11, Chapter 3, pp. 197–292
2. A complete axiomatization of timed bisimulations for a class of timed regular behaviours;Aceto;TCS,1995
3. Timing and causality in process algebra;Aceto;Acta Inform.,1996
4. A theory of timed automata;Alur;TCS,1994
5. An efficiency preorder for processes;Arun-Kumar;Acta Inform.,1992
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献