The Psi-Calculi Workbench

Johannes Borgstrom, Ramūnas Gutkovas, Ioana Rodhe, Björn Victor
2015 ACM Transactions on Embedded Computing Systems  
doi:10.1145/2682570 fatcat:o5kfinnv3jdbhd5acytllwoa5e