Deriving process congruences from reaction rules (bibtex)

by Paweł Sobociński

Reference:

Paweł Sobociński, Deriving process congruences from reaction rules, PhD thesis, BRICS, University of Aarhus, 2004.

Bibtex Entry:

@PhdThesis{sobocinski:thesis,
  author = 	 {Pawe{\l} Soboci{\'{n}}ski},
  title = 	 {Deriving process congruences from reaction rules},
  school = 	 {BRICS, University of Aarhus},
  year = 	 {2004},
  url = {https://compose.ee/pawel/papers/thesis.pdf}
}