scientific article; zbMATH DE number 2080934

MaRDI QIDQ4474004zbMATH OpenFDO

Authors J.-P. Banâtre, Pascal Fradet, Daniel Le Métayer

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2235/22350017.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A generalized higher-order chemical computation model
• Generalised multisets for chemical programming
• Structured gamma
• Classical coordination mechanisms in the chemical model
• The gamma model and its discipline of programming

Cited in

(14)

• Tissue P systems.
• Structured gamma
• An intermediate language for the stochastic simulation of biological systems
• Shared memory implementation of the gamma-operation
• Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
• A declarative coordination language
• A generalized higher-order chemical computation model
• Classical coordination mechanisms in the chemical model
• scientific article; zbMATH DE number 88950 (Why is no real title available?)
• Generalised multisets for chemical programming
• Minimization strategies for maximally parallel multiset rewriting systems
• Cellular automata and Kan extensions
• An excursion in reaction systems: from computer science to biology
• Topological rewriting and the geometrization of programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474004)