Self assembling graphs

Lecture Notes in Computer Science

Volumn 3561, Issue PART I, 2005, Pages 498-507

  Danos, Vincent ^a   Tarissan, Fabien ^b  

^a CNRS   (France)

^b UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; SELF ASSEMBLY; SYNCHRONIZATION;

POINT-TO-POINT COMMUNICATION; PROCESS ALGEBRAS; SELF-ASSEMBLY ALGORITHMS;

GRAPH THEORY;

EID: 26444458888     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11499220_51     Document Type: Conference Paper

References (8)

1. Eric Klavins. Automatic synthesis of controllers for assembly and formation forming. In Proceedings of the International Conference on Robotics and Automation, 2002.
2. Eric Drexler and Richard Smalley. Controversy about molecular assemblers. Available at www.foresight.org/NanoRev/Letter.html, 2003.
3. Radhika Nagpal. Programmable self-assembly using biologically-inspired multiagent control. In Autonomous Agents and Multiagent Systems Conference (AAMAS), July 2002.
4. Jeff Hasty, David McMillen, and James J. Collins. Engineered gene circuits. Nature, 420:224-230, November 2002.
5. Robin Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge, 1999.
6. Robin Milner and Davide Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Nineteenth Colloquium on Automata, Languages and Programming (ICALP) (Wien, Austria), volume 623 of LNCS, pages 685-695. Springer, 1992.
7. Vincent Danos and Cosimo Laneve. Core formal molecular biology. In Proceedings of the 12th European Symposium on Programming (ESOP'03, Warsaw, Poland), volume 2618 of LNCS, pages 302-318. Springer, April 2003.
8. Vincent Danos and Cosimo Laneve. Formal molecular biology. Theoretical Computer Science, 325(1):69-110, September 2004.