Filter your results
- 10
- 1
- 1
- 6
- 4
- 1
- 1
- 12
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 12
- 11
- 11
- 2
- 1
- 1
- 12
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
12 Results
|
|
sorted by
|
|
Name-passing calculi: From fusions to preorders and typesInformation and Computation, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩
Journal articles
hal-01419632v1
|
||
|
Theoretical Computer ScienceJosep 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
|
||
|
Equations, Contractions, and Unique SolutionsACM Transactions on Computational Logic, 2017, 18 (1), pp.1-36. ⟨10.1145/2971339⟩
Journal articles
hal-01647063v1
|
||
|
Unique solutions of contractions, CCS, and their HOL formalisationInformation and Computation, 2020, 275, pp.104606. ⟨10.1016/j.ic.2020.104606⟩
Journal articles
hal-03120563v1
|
||
|
Asynchronous pi-calculus at Work: The Call-by-Need StrategyThe 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
|
||
|
From enhanced coinduction towards enhanced inductionProceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-29. ⟨10.1145/3498679⟩
Journal articles
hal-03922092v1
|
||
|
Session Types RevisitedInformation and Computation, 2017, 256, pp.253 - 286. ⟨10.1016/j.ic.2017.06.002⟩
Journal articles
hal-01647086v1
|
||
|
Session Types Revisited: A Decade LaterPPDP 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
|
||
|
Unique solutions of contractions, CCS, and their HOL formalisationCombined 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
|
||
|
Bisimilarity via unique-solution techniques19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy
Conference papers
hal-01931203v1
|
||
|
Playing with Bisimulation in ErlangModels, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩
Book sections
hal-02376217v1
|
||
|
Bisimulation and Coinduction Enhancements: A Historical PerspectiveFormal Aspects of Computing, 2019, 31 (6), pp.733-749. ⟨10.1007/s00165-019-00497-w⟩
Journal articles
hal-02393949v1
|