About

Overview Research Leadership Media

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Peter Van Roy

Peter Van Roy

Algebraic Reasoning About Timeliness

Seyed Hossein Haeri,Peter Thompson,Peter Van Roy,Magne Haveraaen,Neil Davies,Mikhail Barash,Kevin Hammond,James Chapman

June 2023, ICE '23

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study

Seyed Hossein Haeri,Peter Thompson,Neil Davies,Peter Van Roy,Kevin Hammond,James Chapman

March 2022

DISTRIBUTED SYSTEMS PROOF-OF-STAKE

Products

Cardano
Daedalus
Atala PRISM
Lace
Catalyst
Marlowe
Plutus

Media

Media
Media kit

Courses

Plutus Pioneers
IOG Academy

Legal

DMCA Policy
Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram