Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Abrial, Jean-Raymond ; Cansell, Dominique
Journal of Universal Computer Science, 2005, Vol.11 (5), p.744-770 [Periódico revisado por pares]Graz University of Technology, Institut für Informationssysteme und Computer Medien
Sem texto completo