Coalgebraic Semantics of Nominal Automata (bibtex)

by Florian Frank, Stefan Milius and Henning Urbat

Reference:

Florian Frank, Stefan Milius and Henning Urbat: Coalgebraic Semantics of Nominal Automata, In Helle Hansen, Fabio Zanasi, eds.: Proc. Coalgebraic Methods in Computer Science (CMCS), LNCS, Springer, 2022. To appear; available online at https://arxiv.org/abs/2202.06546

Bibtex Entry:

@string{lncs="LNCS"}
@string{springer="Springer"}
@InProceedings{fmu22,
  author = 	 {Frank, Florian and Milius, Stefan and Urbat, Henning},
  title = 	 {Coalgebraic Semantics of Nominal Automata},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Coalgebraic Methods in Computer Science (CMCS)},
  year = 	 {2022},
  editor = 	 {Hansen, Helle and Zanasi, Fabio},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 lncs,
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  note = 	 {{T}o appear; available online at \url{https://arxiv.org/abs/2202.06546}},
  OPTannote = 	 {}
}