Author:
Galmiche Didier,Kimmel Pierre,Pym David
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Anderson, G., Pym, D.: A calculus and logic of bunched resources and processes. Theor. Comput. Sci. 614, 63–96 (2016)
2. Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic actions as resources. J. Logic Comput. 17(3), 555–585 (2006)
3. Collinson, M., Monahan, B., Pym, D.: A Discipline of Mathematical Systems Modelling. College Publications (2012)
4. Collinson, M., McDonald, K., Pym, D.: Layered graph logic as an assertion language for access control policy models. J. Logic Comput. (2015). doi: 10.1093/logcom/exv020
5. Collinson, M., McDonald, K., Pym, D.: A substructural logic for layered graphs. J. Logic Comput. 24(4), 953–988 (2014)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献