Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Collette, P., Knapp, E.: A foundation for modular reasoning about safety and progress properties of state-based concurrent programs. Theoretical Computer Science 183, 253–279 (1997)
2. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley Longman Publishing Co. Inc., Reading (1988)
3. Dongol, B., Goldson, D.: Extending the theory of Owicki and Gries with a logic of progress. Logical Methods in Computer Science 2(1), 1–25 (2006)
4. Devillers, M.C.A., Griffioen, W.O.D., Romijn, J.M.T., Vaandrager, F.W.: Verification of a leader election protocol – formal methods applied to IEEE 1394. Formal methods in system design 16(3), 307–320 (2000)
5. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)