scientific article; zbMATH DE number 3999306
From MaRDI portal
Publication:4725761
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(12)- An algebraic semantics for structured transition systems and its application to logic programs
- Conditioning for variance reduction in estimating the sensitivity of simulations
- Categorical description of asynchronous parallel computations
- Categorical semantics of parallel program design
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
- Categorical models for concurrency: Independence, fairness and dataflow
- Category theory for computing science
- Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
- scientific article; zbMATH DE number 3905836 (Why is no real title available?)
- scientific article; zbMATH DE number 3984592 (Why is no real title available?)
- Applied Category Theory in Chemistry, Computing, and Social Networks
- How to optimize discrete-event systems from a single sample path by the score function method
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 Q4725761)
