Sound Automatic Lock Placement for Concurrent Programs with Pointers

Bibliographic Details
Title:	Sound Automatic Lock Placement for Concurrent Programs with Pointers
Authors:	Waldburger, Nicolas^Aff9, Faissole, Florian^Aff9, Okabe, Ryo^Aff9, Cousineau, Denis^Aff9
Contributors:	Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Bocchi, Laura, editor^Aff7, Kulahcioglu Ozkan, Burcu, editor^Aff8
Source:	Formal Techniques for Distributed Objects, Components, and Systems : 46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026, Proceedings. 16589:74-92
Database:	Springer Nature eBooks

Description
ISBN:	9783032281869 9783032281876
DOI:	10.1007/978-3-032-28187-6_5