Search Sciweavers | Sciweavers

1195 search results - page 38 / 239

» Modeling an Algebraic Stepper

130

click to vote

DAGSTUHL
2004

123views Software Engineering» more DAGSTUHL 2004»

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

15 years 7 months ago

Download drops.dagstuhl.de

Barbara König, Ugo Montanari, Philippa Gardne...

claim paper

Read More »

127

click to vote

BIOINFORMATICS
2010

85views more BIOINFORMATICS 2010»

Polynomial algebra of discrete models in systems biology

15 years 6 months ago

Download www.cecm.sfu.ca

Alan Veliz-Cuba, Abdul Salam Jarrah, Reinhard C. L...

claim paper

Read More »

click to vote

CORR
2010
Springer

47views Education» more CORR 2010»

Investigating modularity in the analysis of process algebra models of biochemical systems

15 years 6 months ago

Download homepages.inf.ed.ac.uk

Federica Ciocchetta, Maria Luisa Guerriero, Jane H...

claim paper

Read More »

click to vote

CORR
2010
Springer

41views Education» more CORR 2010»

Realizability algebras II : new models of ZF + DC

15 years 6 months ago

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

click to vote

ENTCS
2010

86views more ENTCS 2010»

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers