The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi

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]

Authors

Johannes Borgström

This author has not been identified. Look up 'Johannes Borgström' in Google

Ramunas Gutkovas

This author has not been identified. Look up 'Ramunas Gutkovas' in Google

Ioana Rodhe

This author has not been identified. Look up 'Ioana Rodhe' in Google

Björn Victor

This author has not been identified. Look up 'Björn Victor' in Google