Author:
Boreale Michele,De Nicola Rocco
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalising and animating multiple instances in BPMN collaborations;Information Systems;2022-01
2. Replacement freeness: A criterion for separating process calculi;Journal of Logical and Algebraic Methods in Programming;2020-11
3. The Psi-Calculi Workbench;ACM Transactions on Embedded Computing Systems;2015-01-21
4. A Parametric Tool for Applied Process Calculi;2013 13th International Conference on Application of Concurrency to System Design;2013-07
5. A complete symbolic bisimulation for full applied pi calculus;Theoretical Computer Science;2012-11