Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Amadio, R.: On stratified regions. Report ArXiv:0904.2076
2. Amadio, R., Curien, P.-L.: Domains and Lambda Calculi. Cambridge University Press, Cambridge
3. Amadio, R., Dabrowski, F.: Feasible reactivity in a synchronous π-calculus. In: Proc. ACM Principles and Practice of Declarative Programming, pp. 221–230 (2007)
4. Lecture Notes in Computer Science;G. Boudol,2007
5. Berry, G., Gonthier, G.: The Esterel synchronous programming language. Science of computer programming 19(2), 87–152 (1992)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献