Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Stratified commutativity in verification algorithms for concurrent programs

Titel:

Beteiligt:

Veröffentlicht:

Freiburg : Universität, 2023

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Proceedings of the ACM on programming languages. - 7, POPL (2023) , 1426-1453, ISSN: 2475-1421

DOI:

10.1145/3571242

Zusatz-Informationen