Author:
Qin Guang-Ping,Wu Jin-Zhao
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference26 articles.
1. R van Glabbeek, U Goltz. Refinement of actions and equivalence notions for concurrent systems. Acta Informatica, 2001, 37: 229–327.
2. Gorrieri R, Rensink A. Action Refinement. Handbook of Process Algebra, Elsevier Science, 2001, pp.1047–1147.
3. Majster-Cederbaum M, Wu J. Towards action refinement for true concurrent real time. Acta Informatica, 2003, 39(8): 531–577.
4. Katoen J-P. Quantitative and qualitative extensions of event structures [Dissertation]. University of Twente, 1996.
5. Fecher H, Majster-Cederbaum M, Wu J. Bundle event structures: A revised cpo approach. Information Processing Letters, 2002, 83: 7–12.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献