Table of Contents
Applications
Programming Unconventionnal Models
Rewriting based
Non-rewriting based
Transition Systems and Verifications
The Needham-Schroeder public-key protocol
Integrated Regulatory Network (IRN)
Self-assembly
Biology
Gastrulation
Synthetic Biology: the iGEM'07 Paris project
The Growth of a Meristem
Music
Tonnetz
The All Interval Series
Artificial Intelligence
Extracting an Ontology without a priori : The Little Red Riding Hood
Analogy through paths
Applications
Programming Unconventionnal Models
Rewriting based
Gamma
HOCL
P systems
Lindenmayer systems
Fraglet
Non-rewriting based
Cellular and Lattice gaz automata
Blob computing
Proto
Data parallelism
Transition Systems and Verifications
The Needham-Schroeder public-key protocol
Integrated Regulatory Network (IRN)
Self-assembly
Biology
Gastrulation
Synthetic Biology: the iGEM'07 Paris project
The Growth of a Meristem
Music
Tonnetz
The All Interval Series
Artificial Intelligence
Extracting an Ontology without a priori : The Little Red Riding Hood
Analogy through paths