Verifying atomic data types (Q914403)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Verifying atomic data types	scientific article

Statements

scholarly article

Verifying atomic data types (English)

Jeannette M. Wing

International Journal of Parallel Programming

publication date

1989

zbMATH Keywords

program verification

fault-tolerance

abstract data types

Atomic transactions

distributed systems

describes a project that uses

MaRDI profile type

MaRDI publication profile

The serializability of concurrent database updates

Guardians and Actions: Linguistic Support for Robust, Distributed Programs

A Proof System for Communicating Sequential Processes

Specifying Concurrent Program Modules

Verifying properties of parallel programs

Introduction to the theory of nested transactions

Time, clocks, and the ordering of events in a distributed system

Adequate proof principles for invariance and liveness properties of concurrent programs

The notions of consistency and predicate locks in a database system

A formal model of atomicity in asynchronous systems

On the correctness of orphan management algorithms

The existence of refinement mappings

Proof of correctness of data representations

full work available at URL

https://doi.org/10.1007/bf01379184

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:914403

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q914403&oldid=37238195"