by Alexander Kurz,
Stefan Milius, Dirk Pattinson and Lutz Schröder
Reference:
Alexander Kurz, Stefan Milius, Dirk Pattinson and Lutz Schröder: Simplified Coalgebraic Trace Equivalence, In Software, Services and Systems, Lect. Notes Comput. Sci., vol. 8950, pp. 75–90, Springer, 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-15545-6_8.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{kmps15,
author = {Alexander Kurz and Stefan Milius and Dirk Pattinson and Lutz Schr\"oder},
title = {Simplified Coalgebraic Trace Equivalence},
volume = {8950},
pages = {75--90},
OPTkey = {},
OPTmonth = {},
year = {2015},
publisher = {Springer},
doi = {10.1007/978-3-319-15545-6_8},
series = {Lect. Notes Comput. Sci.},
booktitle = {Software, Services and Systems},
url = {http://arxiv.org/abs/1410.2463},
comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-15545-6_8">http://dx.doi.org/10.1007/978-3-319-15545-6_8</a>.},
}