A proof system for Brinch Hansen's distributed processes (extended abstract)

M. Roncken, R.T. Gerth, W-P de Roever

Research output: Book/Report › Report › Academic

Keywords

@book{3b8b23f372fc49498c568a5fde94ed67,

title = "A proof system for Brinch Hansen's distributed processes (extended abstract)",

keywords = "Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "M. Roncken and R.T. Gerth and {de Roever}, W-P",

year = "1981",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "81-12",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - A proof system for Brinch Hansen's distributed processes (extended abstract)

AU - Roncken, M.

AU - Gerth, R.T.

AU - de Roever, W-P

PY - 1981

Y1 - 1981

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 81-12

BT - A proof system for Brinch Hansen's distributed processes (extended abstract)

PB - Unknown Publisher

CY - Utrecht

ER -