Author:
Ibarra Oscar H.,Dang Zhe,Egecioglu Omer,Saxena Gaurav
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Baker, H.G.: Rabin’s proof of the undecidability of the reachability set inclusion problem for vector addition systems. In: C.S.C. Memo 79, Project MAC, MIT (1973)
2. Berry, G., Boudol, G.: The chemical abstract machine. In: POPL 1990, pp. 81–94. ACM Press, New York (1990)
3. Bottoni, P., Martin-Vide, C., Paun, G., Rozenberg, G.: Membrane systems with promoters/inhibitors. Acta Informatica 38(10), 695–720 (2002)
4. Dassow, J., Paun, G.: On the power of membrane computing. Journal of Universal Computer Science 5(2), 33–49 (1999)
5. Lecture Notes in Computer Science;J. Esparza,1995
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献