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:
607 followers
352 followers
RT @OrnelaDardha: presentation of Semantic Featherweight Java at COORDINATION 2020 @DisCoTecConf is on this afternoon... Check our paper h…
296 followers
presentation of Semantic Featherweight Java at COORDINATION 2020 @DisCoTecConf is on this afternoon... Check our paper https://t.co/1y3xEX9psF and tool demo https://t.co/tc1jIxssKi
80 followers
And now for something completely different... 👉https://t.co/vM4zeVCiJD #phdlife