10.1007/978-3-642-19718-5_15Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6602 LNCS276-29
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concur...
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations (Artefact). This arte...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. We develop and prove sound a concurrent separation logic for a language with Pthreads-styl...
10.1007/978-3-642-17164-2_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This artefact contains the Coq sources accompanying my PhD dissertation "Concurrent Separation Logic...
10.1007/978-3-319-89884-1_14Lecture Notes in Computer Science (including subseries Lecture Notes in ...
We develop and prove sound a concurrent separation logic for Pthreads-stylebarriers. Although Pthrea...
10.1007/978-3-642-10672-9_13Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-40627-0_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-78197-4_15Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-41202-8_16Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-24559-6_36Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-14031-0_8Lecture Notes in Computer Science (including subseries Lecture Notes in A...
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concur...
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations (Artefact). This arte...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. We develop and prove sound a concurrent separation logic for a language with Pthreads-styl...
10.1007/978-3-642-17164-2_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This artefact contains the Coq sources accompanying my PhD dissertation "Concurrent Separation Logic...
10.1007/978-3-319-89884-1_14Lecture Notes in Computer Science (including subseries Lecture Notes in ...
We develop and prove sound a concurrent separation logic for Pthreads-stylebarriers. Although Pthrea...
10.1007/978-3-642-10672-9_13Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-40627-0_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-78197-4_15Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-41202-8_16Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-24559-6_36Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-14031-0_8Lecture Notes in Computer Science (including subseries Lecture Notes in A...
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concur...
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations (Artefact). This arte...
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
DOI
Add to ORKG