Jean Krivine
2
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
- 2
- 1
- 1
- 1
|
A calculus of branching processesTheoretical Computer Science, 2019, ⟨10.1016/j.tcs.2019.06.028⟩
Article dans une revue
hal-02357975v1
|
Incremental Update for Graph RewritingEuropean Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
Communication dans un congrès
hal-02357978v1
|