Skip to Main content

Export Publications

Export the displayed publications:
Number of documents


Jean Krivine's profile

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.


Fabien Tarissan   

Conference papers1 document

  • Vincent Danos, Fabien Tarissan, Jean Krivine. Self-assembling Trees. May 2007, pp.19-32. ⟨hal-00155303⟩