Author:
Khadim U.,Cuijpers P.J.L.
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Rule formats for distributivity;Aceto,2011
2. Process Algebra: Equational Theories of Communicating Processes;Baeten,2010
3. Process algebra with propositional signals;Baeten;Theoretical Computer Science,1997
4. Process Algebra with Timing;Baeten,2002
5. J. Bengtson, M. Johansson, J. Parrow, B. Victor, Psi-calculi: Mobile processes, nominal data, and logic, in: 24th Annual IEEE Symposium on Logic In Computer Science, 2009. LICS’09, 2009.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献