Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. van Benthem, J.: Language in action. Categories, Lambdas and Dynamic Logic. Elsevier Science Publisher (1991)
2. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier (2001)
3. Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Inf. and Comp. 186/2 (2003)
4. Lecture Notes in Computer Science;L. Caires,2004
5. Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees. Journal of Functional Programming 15 (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular Markovian Logic;Automata, Languages and Programming;2011