Regular Behaviours with Names (bibtex)

by Stefan Milius, Lutz Schröder and Thorsten Wißmann

Reference:

Stefan Milius, Lutz Schröder and Thorsten Wißmann: Regular Behaviours with Names, In Appl. Cat. Struct., 24(5), pp. 663–791, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/s10485-016-9457-8.

Bibtex Entry:

@article{MiliusSW16,
  author = {Stefan Milius and Lutz Schr\"oder and Thorsten Wißmann},
  title = {Regular Behaviours with Names},
  journal = {Appl. Cat. Struct.},
  pages = {663--791},
  volume = {24},
  number = {5},
  year = {2016},
  doi  = {10.1007/s10485-016-9457-8},
    url = {http://www8.cs.fau.de/ext/papers/reg-beh-names.pdf},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/s10485-016-9457-8">http://dx.doi.org/10.1007/s10485-016-9457-8</a>.},
 
 }