1. Bornat, R.: Separation logic and concurrency. In: Formal Methods: State of the Art and New Directions. Springer, Berlin (2010)
2. Fich, F.E., Ragde, P.L., Wigderson, A.: Relations between concurrent-write models of parallel computation. In: Proceedings of the Third ACM Symposium on Principles of Distributed Computing (1984)
3. Henderson, N., Paynter, S.: The formal classification and verification of Simpsons 4-slot asynchronous communication mechanism. In: FME 2002. Springer, Berlin (2002)
4. Knuth, D.E.: Additional comments on a problem in concurrent programming control. Commun. ACM 9, 5 (1966)
5. Lamport, L.: A new solution of Dijkstra’s concurrent programming problem. Commun. ACM 17, 8 (1974)