Jean Krivine
3
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
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Concurrency Theorems for Non-linear Rewriting TheoriesICGT 2021 - 14th International Conference on Graph Transformation, Jun 2021, Bergen, Norway. pp.3-21, ⟨10.1007/978-3-030-78946-6_1⟩
Communication dans un congrès
hal-03358036v1
|
|
Rewriting Theory for the Life SciencesInternational Conference on Graph Transformation 2020, Jun 2020, Bergen, Norway. pp.185-202, ⟨10.1007/978-3-030-51372-6_11⟩
Communication dans un congrès
hal-02920023v1
|
Compositionality of Rewriting Rules with Conditions2020
Pré-publication, Document de travail
hal-02920027v1
|