Publications & Reports

About us

Filter by

Filtered (19)

Filters

Type

Annual Report (5)
Policy (1)
Conference Papers (60)
PhD Thesis (6)
Journal Paper (8)
Report (6)

Show (19)

Cancel

Filtered (19)

Filters

Year

2023 (16)
2022 (11)
2021 (17)
2020 (17)
2019 (9)
2018 (4)
2017 (3)
2024 (8)
2025 (1)
2026 (0)

Show (19)

Cancel

Protocol combinators for modeling, testing, and execution of distributed systems.

Kristoffer Just Arndal Andersen and Ilya Sergey.

Journal of Functional Programming, 31, E3, 2021. 2021

Previous 12

Email: contact@vetss.org.uk

The Research Institute on
Verified Trustworthy Software Systems

Contact us

Privacy Policy
Cookie Policy
EDI Statement
Accessibility Policy

About us
Publications
News
Events

Page load link

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok No Privacy policy

Go to Top

Publications & Reports

Filter by

Protocol combinators for modeling, testing, and execution of distributed systems.

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems