Effectful Mealy Machines
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911334015172608 |
|---|---|
| author | Bonchi, Filippo Di Lavore, Elena Román, Mario |
| author_facet | Bonchi, Filippo Di Lavore, Elena Román, Mario |
| contents | Effectful Mealy machines, which we introduce, are a generalization of Mealy machines with global effects determined by an effectful triple. We provide semantics of effectful Mealy machines in terms of both bisimilarity and traces: bisimilarity is characterized syntactically, via uniform feedback; traces are constructed coinductively in terms of streams. We prove that this framework characterizes standard causal processes and existing flavours of Mealy machine, bisimilarity, and trace equivalence. In the commutative case, we introduce a monoidal generalization of Raney's causal functions: monoidal causal processes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_10627 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Effectful Mealy Machines Bonchi, Filippo Di Lavore, Elena Román, Mario Logic in Computer Science Category Theory 18M35 Effectful Mealy machines, which we introduce, are a generalization of Mealy machines with global effects determined by an effectful triple. We provide semantics of effectful Mealy machines in terms of both bisimilarity and traces: bisimilarity is characterized syntactically, via uniform feedback; traces are constructed coinductively in terms of streams. We prove that this framework characterizes standard causal processes and existing flavours of Mealy machine, bisimilarity, and trace equivalence. In the commutative case, we introduce a monoidal generalization of Raney's causal functions: monoidal causal processes. |
| title | Effectful Mealy Machines |
| topic | Logic in Computer Science Category Theory 18M35 |
| url | https://arxiv.org/abs/2410.10627 |