Sergey Goncharov 0001, Stefan Milius, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat. Stateful Structural Operational Semantics. In Amy P. Felty, editor, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel. Volume 228 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{0001MS0U22,
title = {Stateful Structural Operational Semantics},
author = {Sergey Goncharov 0001 and Stefan Milius and Lutz Schröder and Stelios Tsampas 0001 and Henning Urbat},
year = {2022},
doi = {10.4230/LIPIcs.FSCD.2022.30},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.30},
researchr = {https://researchr.org/publication/0001MS0U22},
cites = {0},
citedby = {0},
booktitle = {7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel},
editor = {Amy P. Felty},
volume = {228},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-233-4},
}