Deriving process congruences from reaction rules (bibtex)
by P. Sobociński
Reference:
P. Sobociński, "Deriving process congruences from reaction rules", PhD thesis, BRICS, University of Aarhus, 2004.
Bibtex Entry:
@PhdThesis{sobocinski:thesis,
  author = 	 {P. Soboci\'{n}ski},
  title = 	 {Deriving process congruences from reaction rules},
  school = 	 {BRICS, University of Aarhus},
  year = 	 {2004},
  url = {https://www.southampton.ac.uk/~ps1a06/papers/thesis.pdf}
}
Powered by bibtexbrowser