A thread-safe Term Library: (with a new fast mutual exclusion protocol)

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

Research output: Contribution to journal › Article › Academic

Fingerprint

Dive into the research topics of 'A thread-safe Term Library: (with a new fast mutual exclusion protocol)'. Together they form a unique fingerprint.

Computer Science