REVIEW 1 cited by
Effectful Mealy Machines
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
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.
Forward citations
Cited by 1 Pith paper
-
Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes
Behaviours of stateful monoidal processes are equivalence classes of compatible finite observations in discard bicategories, yielding functorial feedback semantics and a categorified compactness theorem for closed relations.
Discussion (0). Continue with ORCID to comment.