Author:
Maggiolo-Schettini Andrea,Peron Adriano,Tini Simone
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Structural operational semantics;Aceto,2001
2. A comparison of Statecharts variants;von der Beeck,1994
3. The Esterel synchronous programming language;Berry;Sci. Comput. Programming,1992
4. B. Bloom, W.J. Fokkink, R.J. van Glabbeek, Precongruence formats for decorated trace preorders, in: Proc. LICS’00, IEEE Press, Los Alamitos, 2000, pp. 107–118.
5. Bisimulation can't be traced;Bloom;J. ACM,1995
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献