Information and Computation
A domain equation for bisimulation
Information and Computation
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Journal of the ACM (JACM)
CPO models for compact GSOS languages
Information and Computation
A characterization of finitary bisimulation
Information Processing Letters
Communication and Concurrency
Algebraic Theory of Processes
A New Strategy for Proving omega-Completeness applied to Process Algebra
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
A Modal Characterisation of Observable Machine-Behaviour
CAAP '81 Proceedings of the 6th Colloquium on Trees in Algebra and Programming
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Information Processing Letters
Hi-index | 0.89 |
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 @W. 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 @W when the set of actions is finite and nonempty.