Author:
van der Meyden Ron,Moses Yoram
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. R. J. Back and vonWright. Refinement Calculus: A systematic approach. Graduate Texts in Computer Science. Springer Verlag, 1998.
2. K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In I. Gilboa, editor, Proc. Conf on Theoretical Aspects of Reasoning about Knowledge, pages 29–41. Morgan Kauffman, July 1998.
3. K. Engelhardt, R. van der Meyden, and Y. Moses. A refinement framework supporting reasoning about knowledge and time. In Proc. of FOSSACS’ 2000. Springer Verlag, March 2000.
4. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
5. S. Graf and J. Sifakis. Alogic for the description of non-deterministic programs and their properties. Information and Control, 68(1-3):254–270, January/February/March 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Knowledge Based Analysis of Cache Coherence;Formal Methods and Software Engineering;2004