Trace Semantics via Generic Observations (bibtex)
by Sergey Goncharov
Reference:
Trace Semantics via Generic Observations (Sergey Goncharov), In Algebra and Coalgebra in Computer Science (CALCO 2013) (Reiko Heckel, Stefan Milius, eds.), 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:
@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/~sergey/papers/trace.pdf},
  doi       = {10.1007/978-3-642-40206-7_13},
  comment = { <a href = "http://www8.informatik.uni-erlangen.de/~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}
}
Powered by bibtexbrowser