Bisimilarity of open terms in stream GSOS
From MaRDI portal
Publication:2093149
DOI10.1007/978-3-319-68972-2_3zbMath1498.68152arXiv1811.03606OpenAlexW2763492048MaRDI QIDQ2093149
Jurriaan Rot, Matias David Lee, Filippo Bonchi
Publication date: 4 November 2022
Full work available at URL: https://arxiv.org/abs/1811.03606
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)