Trace Semantics via Generic Observations (bibtex)

Reference:

Sergey Goncharov: Trace Semantics via Generic Observations, In Reiko Heckel, Stefan Milius, eds.: Algebra and Coalgebra in Computer Science (CALCO 2013), Lecture Notes in Computer Science, Springer, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_13.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{Goncharov13,
  author = {Sergey Goncharov},
  title = {Trace Semantics via Generic Observations},
  year = {2013},
  editor = {Reiko Heckel and Stefan Milius},
  booktitle = {Algebra and Coalgebra in Computer Science (CALCO 2013)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  pdfurl = {http://www8.informatik.uni-erlangen.de/ext/sergey/papers/trace.pdf},
  doi       = {10.1007/978-3-642-40206-7_13},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/ext/sergey/papers/trace.pdf"> [preprint] </a>},  
   comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-40206-7_13">http://dx.doi.org/10.1007/978-3-642-40206-7_13</a>.},
  status = {Reviewed}
}