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

DOI10.1017/S095679682000026XOpenAlexW3129453453MaRDI QIDQ5018776

Kristoffer Just Arndal Andersen, Ilya Sergey

Publication date: 22 December 2021

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s095679682000026x

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Coq
• Haskell
• QuickCheck
• PSync
• Verdi
• Ivy

Cites Work

• Unnamed Item
• Fast Paxos
• Paxos consensus, deconstructed and abstracted
• PSync: a partially synchronous language for fault-tolerant distributed algorithms
• Synthesising Choreographies from Local Session Types
• Contracts for higher-order functions
• Tentative steps toward a development method for interfering programs
• Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
• The part-time parliament
• Ynot
• Session-typed concurrent contracts

This page was built for publication: Protocol combinators for modeling, testing, and execution of distributed systems