Self-assembling Trees

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 1, 2007, Pages 19-32

  Danos, Vincent ^a   Krivine, Jean ^a   Tarissan, Fabien ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

CCS; Distributed Consensus; RCCS; Self Assembling

Indexed keywords

CCS; DISTRIBUTED CONSENSUS; RCCS; SELF ASSEMBLING;

COMPUTER SCIENCE; PARALLEL ALGORITHMS; PROBLEM SOLVING; SEMANTICS;

TREES (MATHEMATICS);

EID: 34247842955     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.11.017     Document Type: Article

References (16)

1. Boudol G., and Castellani I. Permutation of transitions: An event structure semantics for CCS and SCCS. In: de Bakker J.W., et al. (Ed). Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS vol. 354 (1989) 411-427
2. Danos, V. and J. Krivine, Formal molecular biology done in CCS, in: Proceedings of BIO-CONCUR'03, Marseilles, France, ENTCS (2003), to appear
3. Danos V., and Krivine J. Reversible communicating systems. CONCUR'04. LNCS vol. 3170 (2004) 292-307
4. Danos V., and Krivine J. Transactions in RCCS. CONCUR'05. LNCS vol. 3653 (2005)
5. Danos, V., J. Krivine and P. Sobocinski, General reversibility, in: EXPRESS'06, ENTCS (2006), to appear
6. Danos V., and Laneve C. Formal molecular biology. TCS 325 (2004) 69-110
7. Danos V., and Tarissan F. Self-assembling graphs. In: Mira J., and Alvarez J. (Eds). IWINAC'05. LNCS vol. 3561 (2005) 501-510
8. Kirschner M., and Gerhart J. Evolvability. PNAS 95 (1998) 8420-8427
9. Klavins E. Automatic synthesis of controllers for assembly and formation forming. ICRA'02 (2002) 3296-3302
10. Krivine, J., "Algèbres de Processus Réversibles," Ph.D. thesis, Université Paris 6 & INRIA-Rocquencourt (2006), moscova.inria.fr/~krivine
11. Krivine, J., A verification algorithm for declarative concurrent programming, Technical report, INRIA-Rocquencourt (2006), moscova.inria.fr/~krivine
12. Milner R. Communication and Concurrency. International Series on Computer Science (1989), Prentice Hall
13. Milner R., Parrow J., and Walker D. A calculus of mobile process (i and ii). Information and Computation vol. 100 (1992) 1-77
14. Palamidessi C. Comparing the expressive power of the synchronous and asynchronous pi-calculi. MSCS 13 (2003) 685-719
15. Phillips I., and Ulidowski I. Reversing algebraic process calculi. FOSSACS'06. LNCS vol. 3921 (2006) 246-260
16. Victor B., and Moller F. The Mobility Workbench - a tool for the π-calculus. In: Dill D. (Ed). CAV'94. LNCS vol. 818 (1994) 428-440