Core Formal Molecular Biology

This publication has 11 references indexed in Scilit:

• Cellular abstractions: Cells as computation
  Nature, 2002
• Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors
  Nature Biotechnology, 2002
• PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING
  Pacific Symposium on Biocomputing, 2001
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
  Information Processing Letters, 2001
• Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
  Published by Springer Nature ,2001
• Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems
  Molecular Biology of the Cell, 1999
• On bisimulations for the asynchronous π-calculus
  Theoretical Computer Science, 1998
• Barbed bisimulation
  Published by Springer Nature ,1992
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985