The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables

W-P de Roever

The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables

W-P de Roever

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht
Publisher	Unknown Publisher
Volume	85-02
Edition	RUU-CS
ISBN (Print)	0924-3275
Publication status	Published - 1985

Keywords

Wiskunde en Informatica (WIIN)
Mathematics
Informatica
Landbouwwetenschappen
Natuurwetenschappen

Access to Document

Roever 85 the quest for
Open Access (free)

http://www.cs.uu.nl/research/techreps/RUU-CS-85-02.html

Cite this

@book{f6cf9047595d4587b0abd1e9b940d283,

title = "The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "\{de Roever\}, W-P",

year = "1985",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "85-02",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables

AU - de Roever, W-P

PY - 1985

Y1 - 1985

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 85-02

BT - The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables

PB - Unknown Publisher

CY - Utrecht

ER -