Author:
Brodo Linda,Olarte Carlos
Publisher
Springer International Publishing
Reference12 articles.
1. Lecture Notes in Computer Science;C Bodei,2013
2. Bodei, C., Brodo, L., Bruni, R., Chiarugi, D.: A flat process calculus for nested membrane interactions. Sci. Ann. Comp. Sci. 24(1), 91–136 (2014)
3. Calder, M., Shankland, C.: A symbolic semantics and bisimulation for full LOTOS. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) IFIP Conference Proceedings, FORTE, vol. 197, pp. 185–200. Kluwer (2001)
4. Texts in Theoretical Computer Science. An EATCS Series;R Gorrieri,2015
5. Hennessy, M., Lin, H.: Symbolic bisimulations. Theor. Comput. Sci. 138(2), 353–389 (1995)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献