Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Arnold, A. & Nivat, M. (1977), Non deterministic recursive programs, in "Fundamentals of Computation Theory", pp. 12–21, LNCS No. 56, Springer Verlag, Heidelberg.
2. deBakker, J. & deRoever, W.P. (1973), A Calculus for Recursive Program Schemes, First Int.Coll.on Automata, Languages and Programming.
3. Emerson, A.E. & Clarke, E.C. (1980), Characterizing Correctness Properties of Parallel Programs using Fixpoints, Seventh Int.Coll. on Automata, Languages and Programming, 169–181.
4. Engelfriet, J. & Schmidt, E.M. (1978), IO and OI, JCSS 15 (1977), 328–353 and 16 (1978), 67–99.
5. Kozen, D. (1983), Results on the Propositional μ-Calculus, TCS 27, 333–54.
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献