Effectful Mealy Machines: Bisimulation and Trace
autor
Bonchi, Filippo
Di Lavore, Elena
Roman, Mario
vastutusandmed
Filippo Bonchi, Elena Di Lavore, Mario Román
allikas
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
kirjastus/väljaandja
IEEE
ilmumisaasta
2025
leheküljed
p. 541-554 : ill
seeria-sari
Communications in computer and information science ; 2494
konverentsi nimetus, aeg
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 23-26 June 2025
konverentsi toimumispaik
Singapore, Singapore
leitav
https://doi.org//10.1109/LICS65433.2025.00047
märksõna
masinad
jahu
võtmesõna
Mealy machines
coinduction
copy-discard category
premonoidal categories
ISSN
1865-0929
ISBN
979-8-3315-7900-5
märkused
Bibliogr.: 90 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise