Vi beskriver en ny tillämpning av en stokastisk namn-passing kalkyl för studien av biomolekylära system. Vi specificerar strukturen och dynamiken i biokemiska nätverk i en variant av de stokastiska π-kalculus, vilket ger en modell som är matematiskt väldefinierad och biologiskt trogen. Vi anpassar den operativa semantiken i kalkylen för att ta hänsyn till både tid och sannolikhet för biokemiska reaktioner, och presentera en datorimplementering av kalkylen för biokemiska simuleringar. med beaktande av Fördraget om upprättandet av Euro peiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska unionen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, särskilt artikel 5 i detta,
BioSPI, ett verktyg som implementerar en stokastisk variant av pi-kalculus, har använts för att simulera både tid och sannolikhet för biokemiska reaktioner REF.
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
{'venue': None, 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}