Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes | Paper Citation Record

Observation a74d9519-f8a3-4ca3-8b51-d69292c406ba · outbound

This paper cites Observation equivalence as a testing equivalence.Theoretical Computer Science, 53(2–3):225–241, 1987.doi:10.1016/0304-3975(87)90065-X.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Observation equivalence as a testing equivalence.Theoretical Computer Science, 53(2–3):225–241, 1987.doi:10.1016/0304-3975(87)90065-X

Reference 1

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.910943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 71eeec95-3a60-4d43-b4b6-7ce9193dc60d · outbound

This paper cites Categorical quantum mechanics, 2009.arXiv:0808.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Categorical quantum mechanics, 2009.arXiv:0808

Reference 2

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.049099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2b62168a-b8a7-453d-8908-1c7b9d374160 · outbound

This paper cites Baez, Brandon Coya, and Franciscus Rebro.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Baez, Brandon Coya, and Franciscus Rebro

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dd5a7af-363a-4b36-b725-2baf121cfcf6 · outbound

This paper cites Baez and Jason Erbele.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Baez and Jason Erbele

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e7934e3-9e09-4a92-a99d-3c828df776fd · outbound

This paper cites Baez and Brendan Fong.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Baez and Brendan Fong

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ac6cf72-91b2-4fc8-9c7d-0709db3f4288 · outbound

This paper cites Effectful Mealy Machines.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Effectful Mealy Machines

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:20.041539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3988f4c1-0966-45ee-b2e6-fda163179d8b · outbound

This paper cites Graphical affine algebra.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Graphical affine algebra

Reference 7

Resolution: metadata mismatch; arxiv_id, observed 2026-07-11T22:28:20.089020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b626f338-8e99-4676-8167-bb77614c2f1b · outbound

This paper cites Full abstraction for signal flow graphs.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Full abstraction for signal flow graphs

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e9db4b8-d07f-4281-9064-3246ee310ba5 · outbound

This paper cites The calculus of signal flow diagrams I: Linear relations on streams.Information and Computation, 252:2–29, February 2017.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes The calculus of signal flow diagrams I: Linear relations on streams.Information and Computation, 252:2–29, February 2017

Reference 9

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.856214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 6081197f-770f-4986-a284-4a02fd7096ab · outbound

This paper cites Interacting Hopf algebras.Journal of Pure and Applied Algebra, 221(1):144–184, January 2017.doi:10.1016/j.jpaa.2016.06.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Interacting Hopf algebras.Journal of Pure and Applied Algebra, 221(1):144–184, January 2017.doi:10.1016/j.jpaa.2016.06

Reference 10

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.942214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4a82799f-429d-440f-93bc-56d93b834d40 · outbound

This paper cites Springer International Publishing, 2021.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Springer International Publishing, 2021

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 193df25e-6e3e-4dbe-b03c-97484da549dc · outbound

This paper cites Graphical Symplectic Algebra.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Graphical Symplectic Algebra

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ce10625-889d-40a2-a656-b14a96c5083c · outbound

This paper cites Carboni and R.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Carboni and R

Reference 13

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.118606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b027885e-a63e-49b4-889e-38f3cefdfde9 · outbound

This paper cites Graphical language with delayed trace: picturing quantum computing with finite memory.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Graphical language with delayed trace: picturing quantum computing with finite memory

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fd67ac7-b6be-471d-b2b2-07097448bfe1 · outbound

This paper cites Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:19.830492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f1e5410d-ccc2-49e9-8de2-79801d233a8a · outbound

This paper cites Quantum channels and memory effects.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Quantum channels and memory effects

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:19.936642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 83c891f0-e85b-4fa1-8aa4-83f142d90850 · outbound

This paper cites Semantics for a Quantum Programming Language by Operator Algebras.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Semantics for a Quantum Programming Language by Operator Algebras

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:20.019613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 62b24cea-fe84-4bc1-8e92-607dcea496fd · outbound

This paper cites Restriction categories III: colimits, partial limits, and extensivity.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Restriction categories III: colimits, partial limits, and extensivity

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:19.994853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3852a6ea-8e83-49a2-b05a-b5fcd6b499c8 · outbound

This paper cites A mathematical theory of resources.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes A mathematical theory of resources

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35781fdc-7bc9-4f83-a6a6-db310efed611 · outbound

This paper cites A graphical calculus for Lagrangian relations.Electronic Proceedings in Theoretical Computer Science, 372:338–351, November 2022.doi:10.4204/ eptcs.372.24.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes A graphical calculus for Lagrangian relations.Electronic Proceedings in Theoretical Computer Science, 372:338–351, November 2022.doi:10.4204/ eptcs.372.24

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f54d10eb-f6b7-48bb-9772-f935ba82d040 · outbound

This paper cites A dataflow programming framework for linear optical distributed quantum computing.Quantum, 10:1972, January 2026.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes A dataflow programming framework for linear optical distributed quantum computing.Quantum, 10:1972, January 2026

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db92c14f-515f-4211-9137-d82fb3d28c0b · outbound

This paper cites Monoidal streams for dataflow programming.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Monoidal streams for dataflow programming

Reference 22

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.947871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation fee15148-32f5-452e-b04c-5e4c19a3e060 · outbound

This paper cites Coinductive streams in monoidal categories.Logical Methods in Computer Science, Volume 21, Issue 3, August 2025.doi: 10.46298/lmcs-21(3:18)2025.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Coinductive streams in monoidal categories.Logical Methods in Computer Science, Volume 21, Issue 3, August 2025.doi: 10.46298/lmcs-21(3:18)2025

Reference 23

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.107046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9c210d15-5018-4f08-aa13-5a7557572761 · outbound

This paper cites Span(Graph): a Canonical Feedback Algebra of Open Transition Systems.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Span(Graph): a Canonical Feedback Algebra of Open Transition Systems

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:19.919472Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9f29eba0-9f23-48cd-a8d8-580289bd6a38 · outbound

This paper cites Evidential Decision Theory via Partial Markov Categories.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Evidential Decision Theory via Partial Markov Categories

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb013e1f-227d-45a0-8f2c-a9c908be5d0e · outbound

This paper cites Order in partial Markov categories.Electronic Notes in Theoretical Informatics and Computer Science, Volume 5-Proceedings of MFPS XLI, December 2025.doi:10.46298/entics.16686.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Order in partial Markov categories.Electronic Notes in Theoretical Informatics and Computer Science, Volume 5-Proceedings of MFPS XLI, December 2025.doi:10.46298/entics.16686

Reference 26

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.006193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dfa86aa0-4177-4eb9-989b-6869fd5d4676 · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63c6d383-fe6e-4fdf-9b51-dd311e411990 · outbound

This paper cites A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:20.032385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c0e76bac-1e93-4ba0-880b-ee41149fa5ea · outbound

This paper cites Infinite products and zero-one laws in categorical probability.Compositionality, 2:3, 2020.doi:10.32408/compositionality-2-3.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Infinite products and zero-one laws in categorical probability.Compositionality, 2:3, 2020.doi:10.32408/compositionality-2-3

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a58bd031-43ff-49ba-81c5-78d1116791b0 · outbound

This paper cites Springer Berlin Heidelberg, 1982.doi:10.1007/bfb0092872.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Springer Berlin Heidelberg, 1982.doi:10.1007/bfb0092872

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5ca8de6-62ee-4b37-b93e-40eefd12a763 · outbound

This paper cites Die vollständigkeit der axiome des logischen funktionenkalküls.Monatshefte für Mathematik und Physik, 37(1):349–360, December 1930.doi:10.1007/bf01696781.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Die vollständigkeit der axiome des logischen funktionenkalküls.Monatshefte für Mathematik und Physik, 37(1):349–360, December 1930.doi:10.1007/bf01696781

Reference 31

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.925863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ce1c75a0-3dc1-432d-be87-7fbee6d1332b · outbound

This paper cites Springer International Publishing, 2018.doi:10.1007/978-3-319-89366-2_17.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Springer International Publishing, 2018.doi:10.1007/978-3-319-89366-2_17

Reference 32

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.985787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2db20015-2591-4050-99a2-900f866331cc · outbound

This paper cites Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces

Reference 33

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.095302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c673f115-1c90-4cd8-8686-9578fe01cfde · outbound

This paper cites Braided tensor categories.Advances in Mathematics, 102(1):20–78, November 1993.doi:10.1006/aima.1993.1055.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Braided tensor categories.Advances in Mathematics, 102(1):20–78, November 1993.doi:10.1006/aima.1993.1055

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 946573d4-a927-44da-bc04-ed964abea7cd · outbound

This paper cites Traced monoidal cate- gories.Mathematical Proceedings of the Cambridge Philosophical Society, 119(3):447–468, April 1996.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Traced monoidal cate- gories.Mathematical Proceedings of the Cambridge Philosophical Society, 119(3):447–468, April 1996

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edcf40a7-dc1e-48a9-a5a1-631cf4ae9793 · outbound

This paper cites Katis, N.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Katis, N

Reference 36

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.101267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b5aec643-ef77-44cb-860e-72c9e2375498 · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ceb9b381-dcc4-40bc-a1e2-159d8e785910 · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54290c7b-c51b-4c01-9ee2-e9157eda18aa · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-07-11T22:28:19.900861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d680093f-dfcd-4a3a-9cfa-e68c812251cf · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.112673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7c1e1d42-c31f-4f06-9c98-63cade58cd4b · outbound

This paper cites Learning nondeterministic Mealy machines.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Learning nondeterministic Mealy machines

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4962cb93-d04e-4c76-8421-d271e71b52f1 · outbound

This paper cites Quantum Channels with Memory.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Quantum Channels with Memory

Reference 42

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6495017a-766e-4b1d-a611-2a9055bfecbf · outbound

This paper cites Coend calculus.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Coend calculus

Reference 43

Resolution: metadata mismatch; local_arxiv, observed 2026-07-11T22:28:19.839057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ecb9db73-26a4-429d-b55a-27862f55b6cb · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 44

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13b27328-d109-4378-b267-9a44aed1c25c · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 073658f3-14b4-40f3-ad65-98f7e875a829 · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1178d767-9616-450f-9d9a-612d36fa1794 · outbound

This paper cites Notions of computation and monads.Information and Computation, 93(1):55–92, July 1991.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Notions of computation and monads.Information and Computation, 93(1):55–92, July 1991

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f7ecad7-03fb-452e-95d8-4c66ac24ec7d · outbound

This paper cites PhD thesis, Massachusetts Institute of Technology, 1969.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes PhD thesis, Massachusetts Institute of Technology, 1969

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1cac540-d079-489f-8c4c-330c60eb767b · outbound

This paper cites Nielsen and Isaac L.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Nielsen and Isaac L

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97cf9fac-9fb0-434a-9fa6-338b34c49de3 · outbound

This paper cites Springer International Publishing, 2020.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Springer International Publishing, 2020

Reference 50

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 902657b1-bb47-4b5a-ae88-04f6a2fb7412 · outbound

This paper cites Description of a quantum convolutional code.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Description of a quantum convolutional code

Reference 51

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:19.964323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d414c2e1-f82b-44ea-925c-a55135fe7ad5 · outbound

This paper cites Oppenheim, Ronald W.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Oppenheim, Ronald W

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ce6d6de-9730-406e-8a62-d63723cdcae0 · outbound

This paper cites High-level axioms for graphical linear algebra.Science of Computer Programming, 218:102791, June 2022.doi:10.1016/j.scico.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes High-level axioms for graphical linear algebra.Science of Computer Programming, 218:102791, June 2022.doi:10.1016/j.scico

Reference 53

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2415d00-4b8b-42c7-96f9-9272b429541e · outbound

This paper cites The category of Markov kernels.Electronic Notes in Theoretical Computer Science, 22:171–187, January 1999.doi:10.1016/S1571-0661(05)80602-4.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes The category of Markov kernels.Electronic Notes in Theoretical Computer Science, 22:171–187, January 1999.doi:10.1016/S1571-0661(05)80602-4

Reference 54

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da040b78-d08b-47b9-86c8-0c2314a62de8 · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 55

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.058460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 559c3387-2ab5-4f5e-8755-1f298d9ad0dc · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a701db5-e189-46d5-b270-4de0c531192a · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 57

Resolution: verified exact; arxiv_id, observed 2026-07-11T22:28:19.955909Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3f123fef-035c-4031-83fa-673075530091 · outbound

This paper cites Robinson and G.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Robinson and G

Reference 58

Resolution: verified exact; doi, observed 2026-07-11T22:28:20.066721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e335aec9-e14b-45b2-b7b3-e5efbce8bb5a · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 59

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0dd75e6-85c5-4369-85d5-1bf54cba977f · outbound

This paper cites Outline of a mathematical theory of computation.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Outline of a mathematical theory of computation

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a15c5eab-bfb6-48ec-bf03-675a8c7e2c6b · outbound

This paper cites Towards a semantics for higher-order quantum computation.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Towards a semantics for higher-order quantum computation

Reference 61

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17cb6b7a-4a2d-45df-8a83-3452d7162917 · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0420898-320f-4f54-a267-ce3a866ddb2e · outbound

This paper cites Bonsangue, and Jan J.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Bonsangue, and Jan J

Reference 63

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caac1d18-48a8-48d8-b208-25c626a4ebb9 · outbound

This paper cites Differentiable Causal Computations via Delayed Trace.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Differentiable Causal Computations via Delayed Trace

Reference 64

Resolution: verified exact; local_arxiv, observed 2026-07-11T22:28:19.869442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e2b9e97f-f14c-4e9b-a466-62220dc1b8ad · outbound

This paper cites Some notions and methods on the borderline of algebra and metamathematics.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Some notions and methods on the borderline of algebra and metamathematics

Reference 65

Resolution: unresolved; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14309511-fd54-4816-b9db-67539950153b · outbound

This paper cites an unresolved cited work.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes Unresolved cited work

Reference 66

Resolution: verified exact; arxiv_id, observed 2026-07-11T22:28:20.080130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1da9e9f0-7334-4696-8535-98c2f63ec705 · outbound

This paper cites well-behaved.

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes well-behaved

Reference 67

Resolution: malformed identifier; no resolver link, observed 2026-07-11T22:26:02.477138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers