Author:
Sun Xiu-Li,Zhang Wen-Yin,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
Reference24 articles.
1. Fecher H, Majster-Cederbaum M, Wu J. Refinement of actions in a real-time process algebra with a true concurrency model. Electronic Notes in Theoretical Computer Science, 2002, 70(3).
2. Majster-Cederbaum M, Wu J. Action refinement for true concurrent real time. InProc. ICECCS 2001, IEEE Computer Society Press, Sweden, 2001, pp. 58–68.
3. Majster-Cederbaum M, Wu J. Towards action refinement for true concurrent real time.Acta Informatica, 2003, 39(8): 531–577.
4. Langerak R. Transformations and semantics for LOTOS [Dissertation]. University of Twente, 1992.
5. Boudol G, Castellani I. A non-interleaving semantics for CCS based on proved transitions.Fundamenta Informaticae, 1988, 11(4): 433–452.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献