Exploiting Quasi-reversible Structures in Markovian Process Algebra Models

Peter G. Harrison, Jane Hillston. Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Comput. J., 38(7):510-520, 1995.

@article{HarrisonH95,
  title = {Exploiting Quasi-reversible Structures in Markovian Process Algebra Models},
  author = {Peter G. Harrison and Jane Hillston},
  year = {1995},
  tags = {process algebra,  algebra, process modeling},
  researchr = {https://researchr.org/publication/HarrisonH95},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {38},
  number = {7},
  pages = {510-520},
}