Cites work
- A calculus of communicating systems
- Correctness of recursive parallel nondeterministic flow programs
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- General Theory of Natural Equivalences
- Groups, Categories and Duality
- scientific article; zbMATH DE number 4164141 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3794036 (Why is no real title available?)
- Initial Algebra Semantics and Continuous Algebras
- Minimal realization of machines in closed categories
- On ``On graph rewritings
- On graph rewritings
- On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Realization is universal
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- The Category-Theoretic Solution of Recursive Domain Equations
Cited in
(39)- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Temporal theories as modularisation units for concurrent system specification
- An algebraic semantics for structured transition systems and its application to logic programs
- Category theory and the foundations of mathematics: philosophical excavations.
- Probability: from classical to fuzzy
- Contextual Petri nets, asymmetric event structures, and processes
- Categorical shape theory as a formal language for pattern recognition?
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- From orthogonal projections to a generalized quantum search
- Algorithm design through the optimization of reuse-based generation
- Problems of constructing intelligent systems. Intelligent modeling
- Categorical approach to the construction of fuzzy graph grammars
- Rosen's modelling relations via categorical adjunctions
- Category-theoretic approach to software systems design
- Category-theoretic consequences of denotators as a universal data format
- scientific article; zbMATH DE number 3884350 (Why is no real title available?)
- The application of category theory to epistemic and poietic processes
- ON COLIMITS OVER ARBITRARY POSETS
- scientific article; zbMATH DE number 4002343 (Why is no real title available?)
- scientific article; zbMATH DE number 4047048 (Why is no real title available?)
- Systems analysis of life cycle of large-scale information-control systems
- scientific article; zbMATH DE number 58297 (Why is no real title available?)
- scientific article; zbMATH DE number 1231482 (Why is no real title available?)
- scientific article; zbMATH DE number 1231483 (Why is no real title available?)
- scientific article; zbMATH DE number 529899 (Why is no real title available?)
- Coproducts of Ideal Monads
- scientific article; zbMATH DE number 3995941 (Why is no real title available?)
- scientific article; zbMATH DE number 803303 (Why is no real title available?)
- scientific article; zbMATH DE number 7453977 (Why is no real title available?)
- Compositional cyber-physical systems modeling
- Fruits of a categorical approach to probability theory
- Theoretical computer science for the working category theorist
- System Consequence
- Relationships between category theory and functional programming with an application
- Computer Aided Systems Theory – EUROCAST 2005
- Category theoretic foundations for systems science and engineering
- On probability domains. III
- Generalized random events
- A categorical approach to probability theory
This page was built for publication: A categorical manifesto
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4713397)
