Author:
Curti Michele,Degano Pierpaolo,Tatiana Baldari Cosima
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
2. C. Bodei, Degano P., and Priami C. Names of mobile agents handled locally. Theoretical Computer Science, 253, 2:155–184, 2000. 22, 23
3. P. Degano and C. Priami. Non-interleaving semantics for mobile processes. Theoretical Computer Science, 216, 1–2:237–270, 1999. 21, 22, 23, 25, 26, 27, 28
4. P. Degano and C. Priami. Enhanced operational semantics: A tool for describing and analysing concurrent systems. ACM Computing Surveys, 33, 2:135–176, 2001. 22, 27
5. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, and K. Sonmez. Pathway logic: Simbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, pages 400–412, 2002. 21, 32
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Process Algebras in Systems Biology;Systems Biology Modelling and Analysis;2022-11-18
2. Chemical foundations of distributed aspects;Distributed Computing;2018-06-07
3. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015
4. Towards Modelling of Local Reversibility;Reversible Computation;2015
5. A Process-Algebra Model of the Cell Mechanics of Autoreactive Lymphocytes Recruitment;Technologies for Medical Sciences;2012