bibliographer - Peter W. OtextquotesingleHearn

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra Peter W. OtextquotesingleHearn Rasmus L. Petersen Jules Villard Akbar Hussain [github]

Concurrent separation logic Stephen Brookes Peter W. OtextquotesingleHearn [github]

Library Size: 13G (2 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]