666 followers
Want to understand the choreographic approach (choreographic programming, Alice and Bob, security protocol notation, session types, ...) in familiar terms? If you like automata theory, Barbanera, Lanese, and Tuosto have made a simple model for you. https: