Relational presheaves as labelled transition systems (bibtex)

by Paweł Sobociński

Reference:

Paweł Sobociński, Relational presheaves as labelled transition systems, In Coalgebraic Methods in Computer Science (CMCS `12), Springer, vol. 7399, pp. 40-50, 2012.

Bibtex Entry:

@string{lncs="LNCS"}
@INPROCEEDINGS{Sobocinski2012,
  author = {Pawe{\l} Soboci{\'{n}}ski},
  title = {Relational presheaves as labelled transition systems},
  booktitle = {Coalgebraic Methods in Computer Science ({CMCS `12})},
  year = {2012},
  volume = {7399},
  series = {LNCS},
  pages = {40-50},
  publisher = {Springer},
  timestamp = {27.04.12}
}