Helms, Tobias; Warnke, Tom; Maus, Carsten; Uhrmacher, Adelinde M. Semantics and efficient simulation algorithms of an expressive multilevel modeling language. (English) Zbl 1369.93068 ACM Trans. Model. Comput. Simul. 27, No. 2, Article No. 8, 25 p. (2017). MSC: 93A30 92C37 92C42 92C45 PDFBibTeX XMLCite \textit{T. Helms} et al., ACM Trans. Model. Comput. Simul. 27, No. 2, Article No. 8, 25 p. (2017; Zbl 1369.93068) Full Text: DOI
John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Uhrmacher, Adelinde M. The attributed pi-calculus with priorities. (English) Zbl 1275.92023 Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XII. Special issue on modeling methodologies. Berlin: Springer (ISBN 978-3-642-11711-4/pbk). Lecture Notes in Computer Science 5945. Lecture Notes in Bioinformatics. Journal Subline, 13-76 (2010). MSC: 92C42 68Q85 PDFBibTeX XMLCite \textit{M. John} et al., Lect. Notes Comput. Sci. 5945, 13--76 (2010; Zbl 1275.92023) Full Text: DOI