Explaining Behavioural Inequivalence Generically in Quasilinear Time (bibtex)

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

Reference:

Thorsten Wißmann, Stefan Milius and Lutz Schröder: Explaining Behavioural Inequivalence Generically in Quasilinear Time, In Serge Haddad, Daniele Varacca, eds.: Proc. 32nd International Conference on Concurrency Theory (CONCUR), LIPIcs, vol. 203, pp. 31:1–32:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.

Bibtex Entry:

@string{lipics="LIPIcs"}
@string{dagstuhl="Schloss Dagstuhl – Leibniz-Zentrum für Informatik"}
@InProceedings{wms21,
  author = 	 {Wi{\ss}mann, Thorsten and Milius, Stefan and Schr\"oder, Lutz},
  title = 	 {Explaining Behavioural Inequivalence Generically in Quasilinear Time},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~32nd International Conference on Concurrency Theory (CONCUR)},
  year = 	 {2021},
  editor = 	 {Haddad, Serge and Varacca, Daniele},
  volume = 	 {203},
  OPTnumber = 	 {},
  series = 	 lipics,
  pages = 	 {31:1--32:18},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = dagstuhl,
  OPTnote = 	 {{T}o appear},
  OPTannote = 	 {}
}