Search - Archive ouverte HAL Access content directly

Filter your results

12 Results

Name-passing calculi: From fusions to preorders and types

Daniel Hirschkoff , Jean-Marie Madiot , Davide Sangiorgi
Information and Computation, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩
Journal articles hal-01419632v1

Theoretical Computer Science

Josep Diaz , Ivan Lanese , Davide Sangiorgi
Josep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Books hal-01402084v1
Image document

Equations, Contractions, and Unique Solutions

Davide Sangiorgi
ACM Transactions on Computational Logic, 2017, 18 (1), pp.1-36. ⟨10.1145/2971339⟩
Journal articles hal-01647063v1
Image document

Unique solutions of contractions, CCS, and their HOL formalisation

Chun Tian , Davide Sangiorgi
Information and Computation, 2020, 275, pp.104606. ⟨10.1016/j.ic.2020.104606⟩
Journal articles hal-03120563v1
Image document

Asynchronous pi-calculus at Work: The Call-by-Need Strategy

Davide Sangiorgi
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Nov 2019, Paris, France. pp.33-49, ⟨10.1007/978-3-030-31175-9_3⟩
Conference papers hal-02399695v1
Image document

From enhanced coinduction towards enhanced induction

Davide Sangiorgi
Proceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-29. ⟨10.1145/3498679⟩
Journal articles hal-03922092v1
Image document

Session Types Revisited

Ornela Dardha , Elena Giachino , Davide Sangiorgi
Information and Computation, 2017, 256, pp.253 - 286. ⟨10.1016/j.ic.2017.06.002⟩
Journal articles hal-01647086v1
Image document

Session Types Revisited: A Decade Later

Ornela Dardha , Elena Giachino , Davide Sangiorgi
PPDP 2022 / 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-4, ⟨10.1145/3551357.3556676⟩
Conference papers hal-03922188v1
Image document

Unique solutions of contractions, CCS, and their HOL formalisation

Chun Tian , Davide Sangiorgi
Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, Sep 2018, Beijing, China. pp.122 - 139, ⟨10.4204/EPTCS.276.10⟩
Conference papers hal-01931199v1
Image document

Bisimilarity via unique-solution techniques

Davide Sangiorgi
19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy
Conference papers hal-01931203v1
Image document

Playing with Bisimulation in Erlang

Ivan Lanese , Davide Sangiorgi , Gianluigi Zavattaro
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩
Book sections hal-02376217v1
Image document

Bisimulation and Coinduction Enhancements: A Historical Perspective

Damien Pous , Davide Sangiorgi
Formal Aspects of Computing, 2019, 31 (6), pp.733-749. ⟨10.1007/s00165-019-00497-w⟩
Journal articles hal-02393949v1