Model theory for process algebra

J.A. Bergstra, C.A. Middelburg

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProcesses, Terms and Cycles: steps on the road to infinity, essays dedicated to Jan-Willem Klop, on the occasion of his 60th birthday
EditorsA. Middeldorp, V. van Oostrom, F. van Raamsdonk, R. de Vrijer
Pages445-495
Number of pages51
Publication statusPublished - 2005

Cite this