scientific article; zbMATH DE number 2185716
From MaRDI portal
Publication:3024908
Recommendations
Cited in
(39)- A string diagrammatic axiomatisation of finite-state automata
- Equational properties of fixed-point operations in Cartesian categories: an overview
- scientific article; zbMATH DE number 7456059 (Why is no real title available?)
- Semantics of value recursion for Monadic Input/Output
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Correct Looping Arrows from Cyclic Terms
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Traced monoidal categories as algebraic structures in Prof
- Equational properties of fixed point operations in Cartesian categories: an overview
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
- Normal forms for algebras of connections.
- Inversion, iteration, and the art of dual wielding
- Two applications of analytic functors
- A compositional approach to parity games
- A structural and nominal syntax for diagrams
- A categorical model for the geometry of interaction
- A calculus of coroutines
- Categorical rewriting of term-like structures
- scientific article; zbMATH DE number 1393359 (Why is no real title available?)
- Feedback for linearly distributive categories: Traces and fixpoints
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Computing with semirings and weak rig groupoids
- Join inverse categories as models of reversible recursion
- Zeta functions and the (linear) logic of Markov processes
- Dynamic connectors for concurrency
- Complete Elgot monads and coalgebraic resumptions
- From reversible programs to univalent universes and back
- The uniformity principle on traced monoidal categories
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- scientific article; zbMATH DE number 7437711 (Why is no real title available?)
- A categorical semantics of higher order store
- Join inverse categories and reversible recursion
- Towards a geometry of recursion
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
- scientific article; zbMATH DE number 7453172 (Why is no real title available?)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Drags: a compositional algebraic framework for graph rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024908)
