External Links

Journal: Science of Computer Programming

Volume 24, Issue 2

105 -- 128Scott D. Stoller, Fred B. Schneider. Verifying Programs That Use Causally-Ordered Message-Passing
129 -- 148K. Mani Chandy, Beverly A. Sanders. Predicate Transformers for Reasoning about Concurrent Computation
149 -- 158Anne Kaldewaij, Laurens de Vries. The Matrix as In-Situ Data Structure
159 -- 181David Scholefield. Proving Properties of Real-Time Semaphores
runs on