Stateful Structural Operational Semantics (bibtex)

by Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas and Henning Urbat

Reference:

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas and Henning Urbat: Stateful Structural Operational Semantics, In Amy Felty, ed.: Proc. 7th International Conference on Formal Structures for Computation and Deduction (FSCD), LIPIcs, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022. To appear; available online at https://arxiv.org/pdf/2202.10866

Bibtex Entry:

@string{lipics="LIPIcs"}
@string{dagstuhl="Schloss Dagstuhl – Leibniz-Zentrum für Informatik"}
@InProceedings{gmstu22,
  author = 	 {Goncharov, Sergey and Milius, Stefan and Schr\"oder, Lutz and Tsampas, Stelios and Urbat, Henning},
  title = 	 {Stateful Structural Operational Semantics},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~7th International Conference on Formal Structures for Computation and Deduction (FSCD)},
  year = 	 {2022},
  editor = 	 {Felty, Amy},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 lipics,
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = dagstuhl,
  note = 	 {{T}o appear; available online at \url{https://arxiv.org/pdf/2202.10866}},
  OPTannote = 	 {}
}