Modelling biochemical pathways through enhanced \(\pi\)-calculus
type: Item
instance of: scholarly article
title: Modelling biochemical pathways through enhanced \(\pi\)-calculus
zbMATH Open document ID: 1071.68074
author: Michele Curti
author: Pierpaolo Degano
author: Corrado Priami
author: C. T. Baldari
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 92C40
zbMATH DE Number: 2110966
zbMATH Keywords: Concurrency
zbMATH Keywords: Causality
zbMATH Keywords: Reduction semantics
zbMATH Keywords: Systems biology
describes a project that uses: GEPASI
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.03.066
OpenAlex ID: W2138519564
cites work: Names of the \(\pi\)-calculus agents handled locally
cites work: Q4413231
cites work: Q4413203
cites work: Q4417901
cites work: Non-interleaving semantics for mobile processes
cites work: Q4413247
cites work: Q4413241
cites work: Q3992568
cites work: Functions as processes
cites work: Q4248252
cites work: A calculus of mobile processes. I
cites work: Language-based performance prediction for distributed and mobile systems
cites work: Application of a stochastic name-passing calculus to representation and simulation of molecular processes
cites work: Q3219122
DOI: 10.1016/J.TCS.2004.03.066
Recommended article: Q4413202
Recommended article: Modelling Biochemical Pathways with the Calculus of Looping Sequences
Recommended article: Constructing and visualizing chemical reaction networks from pi-calculus models
Recommended article: Discrete-Time Model Representations for Biochemical Pathways
Recommended article: Logics in Artificial Intelligence
Recommended article: An algebraic-combinatorial model for the identification and mapping of biochemical pathways
description: scientific article; zbMATH DE number 2110966