Implementation Correctness for Replicated Data Types, Categorically (2020)

First Author: Gadducci F
Attributed to:  Verification of Hardware Concurrency via Model Learning (CLeVer) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://link.springer.com/chapter/10.1007%2F978-3-030-64276-1_15

Type: Conference/Paper/Proceeding/Abstract

Volume: 12545