Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

@inproceedings{Czerwinski2011DecidabilityOB,
  title={Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes},
  author={Wojciech Czerwinski and Piotr Hofman and Slawomir Lasota},
  booktitle={CONCUR},
  year={2011}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Similar Papers

Loading similar papers…