Parametric Operational Semantics for Consistency Models (2020)

First Author: Xiong, S.
Attributed to:  VeTSpec: Verified Trustworthy Software Specification funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.pdf

Type: Thesis