A denotational semantics for synchronous and asynchronous behavior with multiform time

M. Roncken; R.T. Gerth

A denotational semantics for synchronous and asynchronous behavior with multiform time

M. Roncken, R.T. Gerth

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)
Redacteuren	M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	21-37
ISBN van geprinte versie	3-540-19625-0
Status	Gepubliceerd - 1990

Citeer dit

@inproceedings{ffddf3bf1bc74339829a76cb22303df0,

title = "A denotational semantics for synchronous and asynchronous behavior with multiform time",

author = "M. Roncken and R.T. Gerth",

year = "1990",

language = "English",

isbn = "3-540-19625-0",

pages = "21--37",

editor = "M.Z. Kwiatkowska and M.W. Shields and R.M. Thomas",

booktitle = "Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)",

publisher = "Springer",

address = "Germany",

}

A denotational semantics for synchronous and asynchronous behavior with multiform time. / Roncken, M.; Gerth, R.T.

Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990). redactie / M.Z. Kwiatkowska; M.W. Shields; R.M. Thomas. Berlin : Springer, 1990. blz. 21-37.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - A denotational semantics for synchronous and asynchronous behavior with multiform time

AU - Roncken, M.

AU - Gerth, R.T.

PY - 1990

Y1 - 1990

M3 - Conference contribution

SN - 3-540-19625-0

SP - 21

EP - 37

BT - Semantics for Concurrency (Proceedings International BCS-FACS Workshop, Leicester, UK, July 1990)

A2 - Kwiatkowska, M.Z.

A2 - Shields, M.W.

A2 - Thomas, R.M.

PB - Springer

CY - Berlin

ER -