13 citations · 13 across the 1 of their papers we have counts for
2 papers
cs.PL2026
Episodic Loops: Finitary Event Structures and Operational Semantics for C11 Programs with Retries
Christian Kissig, Jay Richards, Mark Batty
Lock-free synchronisation algorithms are often implemented with fallible operations, such as compare-and-swap (CAS), wrapped in unbounded retry loops. Verifying such algorithms req…
cs.LO2011★ 13 cited
Generic Trace Logics
Christian Kissig, Alexander Kurz
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.