Author:
van Beusekom Rutger,Groote Jan Friso,Hoogendijk Paul,Howe Robert,Wesselink Wieger,Wieringa Rob,Willemse Tim A. C.
Publisher
Springer International Publishing
Reference7 articles.
1. Cambridge Tracts in Theoretical Computer Science;JCM Baeten,2010
2. Clinger, W.D.: Proper tail recursion and space efficiency. In: PLDI, pp. 174–185. ACM (1998)
3. Lecture Notes in Computer Science;S Cranen,2013
4. Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18(2), 149–167 (2016)
5. Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press, Cambridge (2014)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献