Author:
Hildebrandt Thomas Troels,Johansen Christian,Normann Håkon
Publisher
Springer International Publishing
Reference29 articles.
1. Bednarczyk, M.A.: Categories of asynchronous systems. Ph.D. thesis, University of Sussex (1988)
2. Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Log. Methods Comput. Sci. 7(1), 1–44 (2011).
http://dx.doi.org/10.2168/LMCS-7(1:11)2011
3. Best, E., Devillers, R., Kiehn, A., Pomello, L.: Concurrent bisimulations in petri nets. Acta Inform. 3(28), 231–264 (1991)
4. Lecture Notes in Computer Science;M Boreale,1995
5. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A theory of processes with localities. Formal Asp. Comput. 6(2), 165–200 (1994)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献