Effectful Mealy Machines: Bisimulation and Trace
author
Bonchi, Filippo
Di Lavore, Elena
Roman, Mario
statement of authorship
Filippo Bonchi, Elena Di Lavore, Mario Román
source
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
publisher
IEEE
year of publication
2025
pages
p. 541-554 : ill
series
Communications in computer and information science ; 2494
conference name, date
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 23-26 June 2025
conference location
Singapore, Singapore
url
https://doi.org//10.1109/LICS65433.2025.00047
subject term
masinad
jahu
keyword
Mealy machines
coinduction
copy-discard category
premonoidal categories
ISSN
1865-0929
ISBN
979-8-3315-7900-5
notes
Bibliogr.: 90 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise