Accéder directement au contenu

Jean Krivine

1
Documents

Présentation

I am interested in fundamental aspects of computer science, mainly models for concurrency (non interleaving semantics, event structures), quantitative simulation (stochastic semantics), formal languages including bigraphs, kappa-calculus and process algebras. I am investigating applications of these concepts to highly distributed systems such as self assembling or transactional systems and molecular interaction networks.
I am interested in fundamental aspects of computer science, mainly models for concurrency (non interleaving semantics, event structures), quantitative simulation (stochastic semantics), formal languages including bigraphs, kappa-calculus and process algebras. I am investigating applications of these concepts to highly distributed systems such as self assembling or transactional systems and molecular interaction networks.

Publications

fabien-tarissan
vincent-danos

Self-assembling Trees

 Vincent Danos , Fabien Tarissan , Jean Krivine
May 2007, pp.19-32
Communication dans un congrès hal-00155303v1