- Psi-calculi: Mobile Processes, Nominal Data, and Logic J. Bengtson M. Johansson J. Parrow B. Victor Mon 16 April 2018
- Exercising Psi-calculi - A Psi-calculi workbench Ramunas Gutkovas Mon 16 April 2018
- Psi-Calculi in Isabelle Jesper Bengtson Joachim Parrow Tjark Weber Mon 16 April 2018
- Psi-calculi: a framework for mobile processes with nominal data and logic Jesper Bengtson Magnus Johansson Joachim Parrow Bj orn Victor Sun 15 April 2018
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
