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]
No references recorded for this publication.
No citations of this publication recorded.