Model theory for process algebra

J.A. Bergstra; C.A. Middelburg

Model theory for process algebra

J.A. Bergstra, C.A. Middelburg

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

Original language	Undefined/Unknown
Title of host publication	Processes, Terms and Cycles: steps on the road to infinity, essays dedicated to Jan-Willem Klop, on the occasion of his 60th birthday
Editors	A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R. de Vrijer
Pages	445-495
Number of pages	51
Publication status	Published - 2005

Cite this

@inbook{b017e937e5a04661a8781512aa00492b,

title = "Model theory for process algebra",

author = "J.A. Bergstra and C.A. Middelburg",

year = "2005",

language = "Undefined/Unknown",

pages = "445--495",

editor = "A. Middeldorp and {van Oostrom}, V. and {van Raamsdonk}, F. and {de Vrijer}, R.",

booktitle = "Processes, Terms and Cycles: steps on the road to infinity, essays dedicated to Jan-Willem Klop, on the occasion of his 60th birthday",

}

Model theory for process algebra. / Bergstra, J.A.; Middelburg, C.A.
Processes, Terms and Cycles: steps on the road to infinity, essays dedicated to Jan-Willem Klop, on the occasion of his 60th birthday. ed. / A. Middeldorp; V. van Oostrom; F. van Raamsdonk; R. de Vrijer. 2005. p. 445-495.

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