Dynamic consistency in process algebra: From Paradigm to ACP

@article{Andova2011DynamicCI,
  title={Dynamic consistency in process algebra: From Paradigm to ACP},
  author={Suzana Andova and Luuk Groenewegen and Erik P. de Vink},
  journal={Sci. Comput. Program.},
  year={2011},
  volume={76},
  pages={711-735}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…