Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Towards a Proof System for Probabilistic Dynamic Logic
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo +2
Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable excepti…
cs.LO2019
Minimal Session Types (Extended Version)
Alen Arslanagić, Jorge A. Pérez, Erik Voogd
Session types are a type-based approach to the verification of message-passing programs. They have been much studied as type systems for the pi-calculus and for languages such as J…