Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Lecture Notes in Computer Science;M. Beek,2008
2. Bradfield, J., Stirling, C.: Modal Mu-Calculi. In: Handbook of Modal Logic, vol. 3, Elsevier, Amsterdam (2006)
3. Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3), 386–414 (2006)
4. Lecture Notes in Computer Science;L. Caires,2004
5. Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Inf. Comput. 186(2), 194–235 (2003)
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献