Contracts for concurrency
type: Item
instance of: scholarly article
title: Contracts for concurrency
zbMATH Open document ID: 1184.68170
author: Piotr Nienaltowski
author: Bertrand Meyer
author: Jonathan S. Ostroff
published in: Formal Aspects of Computing
publication date: 2010-02-01T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5665060
zbMATH Keywords: concurrency
zbMATH Keywords: object-oriented programming
zbMATH Keywords: design by contract
zbMATH Keywords: SCOOP
zbMATH Keywords: software verification
zbMATH Keywords: safety and liveness properties
zbMATH Keywords: partial correctness
Wikidata QID: Q56901575
describes a project that uses: SmallEiffel
describes a project that uses: SCOOP
describes a project that uses: Eiffel
describes a project that uses: Spec#
MaRDI profile type: Publication
full work available at URL: s00165-007-0063-2
OpenAlex ID: W2077894274
cites work: Q4371400
cites work: Q4873991
DBLP publication ID: journals/fac/NienaltowskiMO09
DOI: 10.1007/S00165-007-0063-2
description: scientific article; zbMATH DE number 5665060