Concurrent Separation Logic Meets Template Games

DOI10.1145/3373718.3394762OpenAlexW3029226113WikidataQ130821839 ScholiaQ130821839MaRDI QIDQ5145677

Paul-André Melliès, Léo Stefanesco

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.04453

zbMATH Keywords

cobordismconcurrent separation logicHoare tripletemplate games

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (1)

Fundamentals of compositional rewriting theory

This page was built for publication: Concurrent Separation Logic Meets Template Games