ACM SIGPLAN - [CP24] A Propositional Dynamic Logic for Choreographies
Sign in to continue reading, translating and more.
