Author:
Calcagno Cristiano,Cardelli Luca,Gordon Andrew D.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Logics with Composition on Finite Forests;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
2. An Observational Model for Spatial Logics;Electronic Notes in Theoretical Computer Science;2006-01
3. Specification and verification for semi-structured data;Wuhan University Journal of Natural Sciences;2006-01
4. Self-configuration of Network Devices with Configuration Logic;Autonomic Networking;2006
5. Spatial Logics for Bigraphs;Automata, Languages and Programming;2005