Actris: session-type based reasoning in separation logic. - Jonas Kastberg Hinrichsen; Jesper Bengtson; Robbert Krebbers (Proc. ACM Program. Lang., 2020)

Machine-checked semantic session typing. - Jonas Kastberg Hinrichsen; Daniël Louwrink; Robbert Krebbers; Jesper Bengtson (CPP, 2021)

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. - Jonas Kastberg Hinrichsen; Jesper Bengtson; Robbert Krebbers (Log. Methods Comput. Sci., 2022)

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. - Léon Gondelman; Jonas Kastberg Hinrichsen; Mário Pereira; Amin Timany; Lars Birkedal (Proc. ACM Program. Lang., 2023)

Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). - Jules Jacobs; Jonas Kastberg Hinrichsen; Robbert Krebbers (Proc. ACM Program. Lang., 2023)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement - Coq Artifact. - Amin Timany; Simon Oddershede Gregersen; Léo Stefanesco; Jonas Kastberg Hinrichsen; Léon Gondelman; Abel Nieto; Lars Birkedal (Zenodo, 2023)

Multris: Functional Verification of Multiparty Message Passing in Separation Logic. - Jonas Kastberg Hinrichsen; Jules Jacobs; Robbert Krebbers (Proc. ACM Program. Lang., 2024)

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. - Jules Jacobs; Jonas Kastberg Hinrichsen; Robbert Krebbers (Proc. ACM Program. Lang., 2024)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. - Amin Timany; Simon Oddershede Gregersen; Léo Stefanesco; Jonas Kastberg Hinrichsen; Léon Gondelman; Abel Nieto; Lars Birkedal (Proc. ACM Program. Lang., 2024)

Beyond Platforms - Growing Distributed Transaction Networks for Digital Commerce. - Yvonne Dittrich; Kim Peiter Jørgensen; Ravi Prakash; Willard Rafnsson; Jonas Kastberg Hinrichsen (CoRR, 2025)