Regular Behaviours with Names (bibtex)
by Stefan Milius, Lutz Schröder, Thorsten Wißmann
Reference:
Regular Behaviours with Names (Stefan Milius, Lutz Schröder, Thorsten Wißmann), In Applied Categorical Structures, vol. 24(5), pp. 663–701, 2016.
Bibtex Entry:
@article{msw16,
author="Milius, Stefan
and Schr{\"{o}}der, Lutz
and Wi{\ss}mann, Thorsten",
title="Regular Behaviours with Names",
journal="Applied Categorical Structures",
year="2016",
volume="24",
number="5",
pages="663--701",
issn="1572-9095",
doi="10.1007/s10485-016-9457-8",
url = {http://www8.cs.fau.de/ext/thorsten/nomliftings.pdf},
}
Powered by bibtexbrowser