Model theory for process algebra

J.A. Bergstra, C.A. Middelburg

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

5 Citations (Scopus)

Abstract

We present a first-order extension of the algebraic theory about processes known as and its main models. Useful predicates on processes, such as deadlock freedom and determinism, can be added to this theory through first-order definitional extensions. Model theory is used to analyse the discrepancies between identity in the models of the first-order extension of and bisimilarity of the transition systems extracted from these models, and also the discrepancies between deadlock freedom in the models of a suitable first-order definitional extension of this theory and deadlock freedom of the transition systems extracted from these models. First-order definitions are material to the formalization of an interpretation of one theory about processes in another. We give a comprehensive example of such an interpretation too.
Original languageEnglish
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. Middelkoop, V. Oostrom, van, F. Raamsdonk, van, R.C. Vrijer, de
Place of PublicationBerlin
PublisherSpringer
Pages445-495
ISBN (Print)3-540-30911-X
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
Volume3838
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Model theory for process algebra'. Together they form a unique fingerprint.

Cite this