Some simple calculations in relative discrete time process algebra

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

Some simple calculations in relative discrete time process algebra

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

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

53 Downloads (Pure)

Originele taal-2	Engels
Titel	Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz
Redacteuren	E.H.L. Aarts, H.M.M. Eikelder, ten, C. Hemerik, M. Rem
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Pagina's	67-74
ISBN van geprinte versie	90-386-0197-2
Status	Gepubliceerd - 1995

Toegang tot document

589461Definitieve gepubliceerde versie, 383 KB

Citeer dit

@inbook{8573720b2a8c4661bcf66014bb3b45f0,

title = "Some simple calculations in relative discrete time process algebra",

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

year = "1995",

language = "English",

isbn = "90-386-0197-2",

pages = "67--74",

editor = "E.H.L. Aarts and {Eikelder, ten}, H.M.M. and C. Hemerik and M. Rem",

booktitle = "Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz",

publisher = "Technische Universiteit Eindhoven",

}

Some simple calculations in relative discrete time process algebra. / Baeten, J.C.M.; Bergstra, J.A.
Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. uitgave / E.H.L. Aarts; H.M.M. Eikelder, ten; C. Hemerik; M. Rem. Eindhoven: Technische Universiteit Eindhoven, 1995. blz. 67-74.

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

TY - CHAP

T1 - Some simple calculations in relative discrete time process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1995

Y1 - 1995

M3 - Chapter

SN - 90-386-0197-2

SP - 67

EP - 74

BT - Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz

A2 - Aarts, E.H.L.

A2 - Eikelder, ten, H.M.M.

A2 - Hemerik, C.

A2 - Rem, M.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -