Definability with the state operator in process algebra

J.O. Blanco

Definability with the state operator in process algebra

J.O. Blanco

Mathematics and Computer Science

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

Original language	English
Title of host publication	Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 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

Cite this

@inproceedings{6c551cfce9e742e581a13053d55958b3,

title = "Definability with the state operator in process algebra",

author = "J.O. Blanco",

year = "1995",

language = "English",

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

pages = "148--187",

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

booktitle = "Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994)",

publisher = "Springer",

address = "Germany",

}

Definability with the state operator in process algebra. / Blanco, J.O.
Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994). ed. / A.J. Ponse; C. Verhoef; S.F.M. Vlijmen, van. Berlin: Springer, 1995. p. 148-187.

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

TY - GEN

T1 - Definability with the state operator in process algebra

AU - Blanco, J.O.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-19909-8

SP - 148

EP - 187

BT - Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994)

A2 - Ponse, A.J.

A2 - Verhoef, C.

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

PB - Springer

CY - Berlin

ER -