1,838 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…
RT @esumii: Reducing session type checking to process calculus is an old trick, e.g. https://t.co/V2sEYuxcVX used Petri net rechability! #i…
reachabilityだったけど直すと文字数 https://t.co/V81w0jtDRT
RT @esumii: Reducing session type checking to process calculus is an old trick, e.g. https://t.co/V2sEYuxcVX used Petri net rechability! #i…
RT @esumii: Reducing session type checking to process calculus is an old trick, e.g. https://t.co/V2sEYuxcVX used Petri net rechability! #i…