Job shop scheduling by constraint satisfication
Wpm Wim Nuijten, Ehl Emile Aarts, van Daa Erp Taalman Kip, van Km Kees Hee · 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.