Verifying sequentially consistent memory using interface refinement
RT Rob Gerth · TU/e Research Portal · 1993
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks, p. 73. A general conservative extension theorem in process algebra, p. 17. 93/39 W.P.M. Nuijten Job Shop Scheduling by Constraint Satisfaction, p. 22. E.H.L. Aarts D.A.A. van Erp Taalman Kip K.M. van Hee 93/40 P.D.V. van der Stok M.M.M.PJ. Claessen D. Alstein