Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor. The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. ACM Trans. Embedded Comput. Syst., 14(1):9, 2015. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Parametric Tool for Applied Process CalculiJohannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor. acsd 2013: 180-185 [doi] Psi-calculi: Mobile Processes, Nominal Data, and LogicJesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor. lics 2009: 39-48 [doi] The Mobility Workbench - A Tool for the pi-CalculusBjörn Victor, Faron Moller. cav 1994: 428-440
The following publications are possibly variants of this publication: