A Thread-Safe Term Library-Reference-Cited by-同舟云学术

A Thread-Safe Term Library

Published:2022 Issue: Volume: Page:422-459
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
language:
Short-container-title:

Author:

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

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-19849-6_25

Reference30 articles.

1. Baeten, J.C.M., Weijland, W.P.: Process Algebra, Cambridge Tracts in Theoretical Computer Science, vol. 18. Cambridge University Press, Cambridge (1990)

2. Lecture Notes in Computer Science;JA Bergstra,1996

3. Blom, S., Lisser, B., van de Pol, J., Weber, M.: A database approach to distributed state-space generation. J. Log. Comput. 21(1), 45–62 (2011). https://doi.org/10.1093/logcom/exp004

4. van den Brand, M., de Jong, H.A., Klint, P., Olivier, P.A.: Efficient annotated terms. Softw. Pract. Exp. 30(3), 259–291 (2000)

5. van den Brand, M., Klint, P.: ATerms for manipulation and exchange of structured data: it’s all about sharing. Inf. Softw. Technol. 49(1), 55–64 (2007). https://doi.org/10.1016/j.infsof.2006.08.009

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of the Busy-Forbidden Protocol;Fundamentals of Software Engineering;2023

2. Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation;Lecture Notes in Computer Science;2022

3. Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022