J
esper
B
engtson
Homepages 🌐
http://www.itu.dk/people/jebe
Entries
2012
Psi-calculi in Isabelle
by
Jesper Bengtson
May 29
The pi-calculus in nominal logic
by
Jesper Bengtson
May 29
CCS in nominal logic
by
Jesper Bengtson
May 29