Author:
Andrei Oana,Ciobanu Gabriel,Lucanu Dorel
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;O. Andrei,2005
2. Andrei, O., Ciobanu, G., Lucanu, D.: Operational semantics and rewriting logic in membrane computing. In: Proceedings SOS Workshop, to appear in ENTCS (2005)
3. Ciobanu, G.: Distributed algorithms over communicating membrane systems. Biosystems 70, 123–133 (2003)
4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285, 187–243 (2002)
5. Gunter, C.: Forms of semantic specification. Bulletin of the EATCS 45, 98–113 (1991)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献