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