Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Co-Design and Verification of an Available File System;Lecture Notes in Computer Science;2017-12-29
2. DOM: Specification and Client Reasoning;Programming Languages and Systems;2016
3. Reasoning about the POSIX file system: local update and global pathnames;ACM SIGPLAN Notices;2015-12-18
4. Reasoning about the POSIX file system: local update and global pathnames;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23
5. Algebra and logic for resource-based systems modelling;Mathematical Structures in Computer Science;2009-09-04