2 papers
cs.PL2024
Context-Aware Separation Logic
Roland Meyer, Thomas Wies, Sebastian Wolff
Separation logic is often praised for its ability to closely mimic the locality of state updates when reasoning about them at the level of assertions. The prover only needs to conc…
cs.FL2024
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, Thomas Wies +1
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols rep…