Real time process algebra with infinitesimals

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

Real time process algebra with infinitesimals

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

Mathematics and Computer Science

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

95 Downloads (Pure)

Original language	English
Title of host publication	Algebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994
Editors	A.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of Publication	Berlin
Publisher	Springer
Pages	148-187
ISBN (Print)	3-540-19909-8
Publication status	Published - 1995

Publication series

Name	Workshops in Computing

Access to Document

586805Final published version, 210 KB

Cite this

@inproceedings{08d5170f51df4755934e2d3c0f3c5de4,

title = "Real time process algebra with infinitesimals",

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

year = "1995",

language = "English",

isbn = "3-540-19909-8",

series = "Workshops in Computing",

publisher = "Springer",

pages = "148--187",

editor = "A.J. Ponse and C. Verhoef and {Vlijmen, van}, S.F.M.",

booktitle = "Algebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994",

address = "Germany",

}

Real time process algebra with infinitesimals. / Baeten, J.C.M.; Bergstra, J.A.

Algebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994. ed. / A.J. Ponse; C. Verhoef; S.F.M. Vlijmen, van. Berlin : Springer, 1995. p. 148-187 (Workshops in Computing).

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

TY - GEN

T1 - Real time process algebra with infinitesimals

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-19909-8

T3 - Workshops in Computing

SP - 148

EP - 187

BT - Algebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994

A2 - Ponse, A.J.

A2 - Verhoef, C.

A2 - Vlijmen, van, S.F.M.

PB - Springer

CY - Berlin

ER -