Formal verification of a lazy concurrent list-based set algorithm

---

Autoria(s): Colvin, Robert; Groves, Lindsay; Luchangco, Victor; Moir, Mark

Contribuinte(s)	T. Ball R.B. Jones
Data(s)	01/01/2006
Identificador	http://espace.library.uq.edu.au/view/UQ:103837
Idioma(s)	eng
Publicador	Springer-Berlin
Palavras-Chave	#E1 #280403 Logics and Meanings of Programs #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper