On Bisimulation in HidenCCS.

Published in Volume XIII, 2003, pages 143-

Authors: Dorel LUCANU

Abstract

HiddenCCS is a specification formalism for concurrent objects with a coordination module. It uses hidden algebra to specify the concurrent objects and process algebra to specify the interactions between objects. The semantics of hiddenCCS is based on labeled transition systems. This paper investigates properties of the behavioral bisimulation defined over hiddenCCS specifications.

Bibtex

@article{sacscuza:lucanu2003obih,
  title={On Bisimulation in HidenCCS.},
  author={Dorel LUCANU},
  journal={Scientific Annals of Computer Science},
  volume={13},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2003},
  pages={143--},
  publisher={``A.I. Cuza'' University Press}
}