The equational theory of prebisimilarity over basic CCS with divergence

L. Aceto, S. Capobianco, A. Ingólfsdóttir, B. Luttik

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Abstract

This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent process O. It is well known that prebisimilarity affords a finite ground-complete axiomatization over this language; this study proves that this ground-complete axiomatization is also complete in the presence of an infinite set of actions. Moreover, in sharp contrast to this positive result, it is shown that prebisimilarity is not finitely based over basic CCS with the divergent process O when the set of actions is finite and nonempty.
Original languageEnglish
Pages (from-to)284-289
JournalInformation Processing Letters
Volume108
Issue number5
DOIs
Publication statusPublished - 2008

Fingerprint

Dive into the research topics of 'The equational theory of prebisimilarity over basic CCS with divergence'. Together they form a unique fingerprint.

Cite this