Skip to main content
Article thumbnail
Location of Repository

Model Theory for Process Algebra

By J.A. Bergstra and C.A. Middelburg


We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates\ud 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 ACP and bisimilarity of the transition systems\ud extracted from these models, and also the discrepancies between deadlock freedom in the models of a 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

Topics: Wijsbegeerte, model theory, full bissimulation models, bisimilarity, interpretation, process algebra, first-order theory, determinism, deadlock freedom, reachability
Year: 2004
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.