A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck. A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I. Volume 13701 of Lecture Notes in Computer Science, pages 422-459, Springer, 2022. [doi]

This author has not been identified. It may be one of the following persons:

Jan Friso Groote

Look up 'Jan Friso Groote' in GoogleThis author has not been identified. Look up 'Maurice Laveaux' in GoogleThis author has not been identified. Look up 'P. H. M. van Spaendonck' in Google

runs on WebDSL