Author:
Tan Tian Huat,Liu Yang,Sun Jun,Dong Jin Song
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. PAT: Process Analysis Toolkit, http://www.comp.nus.edu.sg/~pat/research/
2. AlTurki, M., Meseguer, J.: Real-time rewriting semantics of orc. In: PPDP, pp. 131–142 (2007)
3. AlTurki, M., Meseguer, J.: Reduction semantics and formal analysis of orc programs. Electr. Notes Theor. Comput. Sci. 200(3), 25–41 (2008)
4. AlTurki, M., Meseguer, J.: Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis. Technical report, The University of Illinois at Urbana-Champaign (April 2010), https://www.ideals.illinois.edu/handle/2142/15414
5. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献