Congrats to #VillumInvestigator @kglaau and coauthor @franckDownunder on receiving the 'Test of Time Award' at the 33rd International Conference on Concurrency Theory (CONCUR 2022) for their paper The Impressive Power of Stopwatches https://t.co/JkXl4Y3kj7
747 followers
1,834 followers
RT @esumii: Reducing session type checking to process calculus is an old trick, e.g. https://t.co/V2sEYuxcVX used Petri net rechability! #i…
4,613 followers
reachabilityだったけど直すと文字数 https://t.co/V81w0jtDRT
2,092 followers
RT @esumii: Reducing session type checking to process calculus is an old trick, e.g. https://t.co/V2sEYuxcVX used Petri net rechability! #i…