New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.LO
2011
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson, Magnus Johansson, Joachim Parrow +1
cs.LO
2009
Formalising the pi-calculus using nominal logic
Jesper Bengtson, Joachim Parrow