Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference31 articles.
1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. Modeling in Event-B;Abrial,2010
3. Inter-process buffers in separation logic with rely-guarantee;Bornat;Form. Asp. Comput.,2010
4. Explanation of two non-blocking shared-variable communication algorithms;Bornat;Form. Asp. Comput.,2013
5. A method for refining atomicity in parallel algorithms;Back,1989
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献