Crossmark

Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic

Published Online: 2023-06-06

Published Print: 2023-06-06

Authors

Mulder, Ike http://orcid.org/0000-0001-9926-9736
Czajka, Łukasz http://orcid.org/0000-0001-8083-4280
Krebbers, Robbert http://orcid.org/0000-0002-1185-5237
Funding

Funding for this research was provided by:

NWO (016.Veni.192.259)
More Information

Publication History

Published: 2023-06-06

Document is current