Author:
Bistarelli S.,Cervesato I.,Lenzini G.,Marangoni R.,Martinelli F.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Pevzner, A.: Computational Molecular Biology. MIT Press, Cambridge (2000)
2. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001)
3. Cervesato, I., Durgin, N., Lincoln, P.D., Mitchell, J.C., Scedrov, A.: A Meta- Notation for Protocol Analysis. In: 12th Computer Security Foundations Workshop – CSFW-12, Mordano, Italy, pp. 55–69. IEEE Computer Society Press, Los Alamitos (1999)
4. Cervesato, I.: A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting. In: Delzanno, G., Etalle, S., Gabbrielli, M. (eds.) Workshop on Specification, Analysis and Validation for Emerging Technologies – SAVE 2001, Paphos, Cyprus, pp. 1–22 (2001)
5. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81, 2340–2361 (1977)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献