A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

Browse the full ISoLA paper archive.