Ready trace semantiek voor procesalgebra met prioriteitsoperator

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

Ready trace semantiek voor procesalgebra met prioriteitsoperator

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

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

43 Downloads (Pure)

Originele taal-2	Nederlands
Titel	Stimulerende informatica : proceedings naar aanleiding van het NGI - SION Symposium 4, gehouden op 2 en 3 april 1986, Utrecht
Plaats van productie	Amsterdam
Uitgeverij	Nederlands Genootschap voor Informatica
Pagina's	281-292
ISBN van geprinte versie	90-5005-007-7
Status	Gepubliceerd - 1986

Publicatie series

Naam	SIC
Volume	C19

Toegang tot document

589161Definitieve gepubliceerde versie, 815 KB

Citeer dit

@inproceedings{4e0f62a07b7f46889a13353a2620f037,

title = "Ready trace semantiek voor procesalgebra met prioriteitsoperator",

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

year = "1986",

language = "Nederlands",

isbn = "90-5005-007-7",

series = "SIC",

publisher = "Nederlands Genootschap voor Informatica",

pages = "281--292",

booktitle = "Stimulerende informatica : proceedings naar aanleiding van het NGI - SION Symposium 4, gehouden op 2 en 3 april 1986, Utrecht",

}

Ready trace semantiek voor procesalgebra met prioriteitsoperator. / Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
Stimulerende informatica : proceedings naar aanleiding van het NGI - SION Symposium 4, gehouden op 2 en 3 april 1986, Utrecht. Amsterdam: Nederlands Genootschap voor Informatica, 1986. blz. 281-292 (SIC; Vol. C19).

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

TY - GEN

T1 - Ready trace semantiek voor procesalgebra met prioriteitsoperator

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Klop, J.W.

PY - 1986

Y1 - 1986

M3 - Conferentiebijdrage

SN - 90-5005-007-7

T3 - SIC

SP - 281

EP - 292

BT - Stimulerende informatica : proceedings naar aanleiding van het NGI - SION Symposium 4, gehouden op 2 en 3 april 1986, Utrecht

PB - Nederlands Genootschap voor Informatica

CY - Amsterdam

ER -