Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Representation and simulation of biochemical processes using the pi-calculus process algebra.

A Regev1, W Silverman, E Shapiro

  • 1Department of Cell Research and Immunology, Life Sciences Faculty, Tel Aviv University, Tel Aviv 69978, Israel. aviv@wisdom.weizmann.ac.il

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
|March 27, 2001
PubMed
Summary

A new formal computer language, pi-calculus, enables precise modeling and simulation of protein networks. This approach facilitates sharing and analysis of complex biomolecular processes, advancing systems biology research.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Age-specific vulnerabilities in paediatric dental emergencies before, during, and after COVID-19 lockdown: a retrospective comparative analysis with emphasis on early childhood (0-3 years).

European archives of paediatric dentistry : official journal of the European Academy of Paediatric Dentistry·2025
Same author

Obesity, diabetes and their metabolic correlates in middle-aged adults with Down syndrome.

Journal of intellectual disability research : JIDR·2023
Same author

A self-adaptive hardware with resistive switching synapses for experience-based neurocomputing.

Nature communications·2023
Same author

Increasing precision in the measurement of change in pediatric neurodegenerative disease.

Molecular genetics and metabolism·2022
Same author

SM-Omics is an automated platform for high-throughput spatial multi-omics.

Nature communications·2022
Same author

Early psychological interventions for prevention and treatment of post-traumatic stress disorder (PTSD) and post-traumatic stress symptoms in post-partum women: A systematic review and meta-analysis.

PloS one·2021

Area of Science:

  • Systems Biology
  • Computational Biology
  • Biochemistry

Background:

  • Protein networks are crucial for cellular function, but their complexity hinders sharing and manipulation of data.
  • Existing methods lack a formal, standardized approach for describing and analyzing biomolecular processes within these networks.

Purpose of the Study:

  • To introduce a formal computer language, pi-calculus, for modeling biomolecular processes in protein networks.
  • To develop a simulation system, PiFCP, for analyzing these pi-calculus models.
  • To demonstrate the model's utility by applying it to the RTK-MAPK signal transduction pathway.

Main Methods:

  • Utilizing pi-calculus, a process algebra, to create a mathematically rigorous yet biologically relevant model of biochemical processes.

Related Experiment Videos

  • Developing the PiFCP simulation system for executing, tracing, debugging, and monitoring pi-calculus models.
  • Formally representing molecular and biochemical details of the RTK-MAPK pathway within the pi-calculus framework.

    • Main Results:

    • A well-defined, biologically faithful, and transparent model for biomolecular processes using pi-calculus.
    • A functional simulation system (PiFCP) enabling detailed analysis of biochemical network behavior.
    • Successful application and simulation of the RTK-MAPK signal transduction pathway, showcasing the model's capabilities.

    Conclusions:

    • Pi-calculus provides a powerful and versatile formal language for describing and analyzing protein networks.
    • The PiFCP system facilitates in-depth study and manipulation of complex biomolecular systems.
    • This computational approach is essential for accelerating advancements in systems biology and understanding cellular signaling.