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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

52 Downloads (Pure)

Original language	English
Title of host publication	Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz
Editors	E.H.L. Aarts, H.M.M. Eikelder, ten, C. Hemerik, M. Rem
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Pages	67-74
ISBN (Print)	90-386-0197-2
Publication status	Published - 1995

Access to Document

589461Final published version, 383 KB

Cite this

@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. ed. / E.H.L. Aarts; H.M.M. Eikelder, ten; C. Hemerik; M. Rem. Eindhoven: Technische Universiteit Eindhoven, 1995. p. 67-74.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › 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 -