Two implementation relations and the correctness of communicating replicated processes Maciej KoutnyLuigi V. ManciniGiuseppe Pappalardo OriginalPaper Pages: 119 - 148
The rely-guarantee method for verifying shared variable concurrent programs Qiwen XuWillem -Paul de RoeverJifeng He OriginalPaper Pages: 149 - 174
An action-based formal model for concurrent real-time systems C. J. FidgeA. J. Wellings OriginalPaper Pages: 175 - 207