A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)

Research output: Book/Report › Report › Academic

Keywords

@book{ef5297301a104e49a817bbdc8e2a3976,

title = "A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)",

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

author = "C.P.J. Koymans and \{de Roever\}, W-P",

year = "1983",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "83-05",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)

AU - Koymans, C.P.J.

AU - de Roever, W-P

PY - 1983

Y1 - 1983

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 83-05

BT - A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)

PB - Unknown Publisher

CY - Utrecht

ER -