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.


Jean-Bernard Stefani   

Directions of work or proceedings1 document

  • Jean Krivine, Jean-Bernard Stefani. Reversible Computation: Proceedings 7th International Conference, RC 2015. Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. ⟨10.1007/978-3-319-20860-2⟩. ⟨hal-01246644⟩