Concurrency in Biological Modeling: Behavior, Execution and Visualization

DOI10.1016/j.entcs.2007.12.009zbMath1279.68260OpenAlexW2101742291MaRDI QIDQ2870303

Yaki Setty, Naamah Swerdlin, Sol Efroni, David Harel, Irun R. Cohen

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.12.009

zbMATH Keywords

reactive systemsstatechartsbiological modelingconcurrent modelingreactive animation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Uses Software

• GemCell

Cites Work

• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• GemCell: A generic platform for modeling multi-cellular biological systems
• The chemical basis of morphogenesis
• Transactions on Computational Systems Biology III
• LSCs: Breathing life into message sequence charts

This page was built for publication: Concurrency in Biological Modeling: Behavior, Execution and Visualization