Proces algebra met interrupt mechanisme

J.C.M. Baeten; J.A. Bergstra; J.W. Klop

Proces algebra met interrupt mechanisme

J.C.M. Baeten
, J.A. Bergstra
, J.W. Klop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

58 Downloads (Pure)

Original language	Dutch
Title of host publication	Uitdaging aan de informatica : proceedings naar aanleiding van het NGI-SION symposium 3, gehouden op 1 en 2 april 1985, Utrecht
Place of Publication	Amsterdam
Publisher	Nederlands Genootschap voor Informatica
Pages	129-135
ISBN (Print)	90-70621-17-7
Publication status	Published - 1985

Access to Document

589167Final published version, 277 KB

Cite this

@inproceedings{004dc599b73747868a4fa40b539b5c57,

title = "Proces algebra met interrupt mechanisme",

author = "J.C.M. Baeten and J.A. Bergstra and J.W. Klop",

year = "1985",

language = "Nederlands",

isbn = "90-70621-17-7",

pages = "129--135",

booktitle = "Uitdaging aan de informatica : proceedings naar aanleiding van het NGI-SION symposium 3, gehouden op 1 en 2 april 1985, Utrecht",

publisher = "Nederlands Genootschap voor Informatica",

}

Proces algebra met interrupt mechanisme. / Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
Uitdaging aan de informatica : proceedings naar aanleiding van het NGI-SION symposium 3, gehouden op 1 en 2 april 1985, Utrecht. Amsterdam: Nederlands Genootschap voor Informatica, 1985. p. 129-135.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Proces algebra met interrupt mechanisme

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Klop, J.W.

PY - 1985

Y1 - 1985

M3 - Conferentiebijdrage

SN - 90-70621-17-7

SP - 129

EP - 135

BT - Uitdaging aan de informatica : proceedings naar aanleiding van het NGI-SION symposium 3, gehouden op 1 en 2 april 1985, Utrecht

PB - Nederlands Genootschap voor Informatica

CY - Amsterdam

ER -