Bicategories of processes

DOI10.1016/S0022-4049(96)00012-6zbMATH Open0933.18008OpenAlexW2016554178MaRDI QIDQ674474FDOQ674474

Authors: Juan-Miguel Gracia 

Publication date: 13 March 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-4049(96)00012-6

Recommendations

• Constructing process categories
• Bicategories of Markov Processes
• Feedback, trace and fixed-point semantics
• Convenient category of processes and simulations I: Modulo strong bisimilarity
• scientific article; zbMATH DE number 1522866

zbMATH Keywords

feedbacknormal form theoremalgebra of processesbicategories of processescircuit designprocess in symmetric monoidal categorysuspension-loop construction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Introduction to bicategories
• Cartesian bicategories. I
• Notes on finite asynchronous automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An imperative language based on distributive categories
• An imperative language based on distributive categories II
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (18)

• Dynamic connectors for concurrency
• Towards compositional graph theory
• Title not available (Why is that?)
• Props in Network Theory
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Van Kampen colimits as bicolimits in Span
• A basic algebra of stateless connectors
• On classifying processes
• Calculating Colimits Compositionally
• Title not available (Why is that?)
• Monoidal streams for dataflow programming
• Chains-into-Bins Processes
• Comparing cospan-spans and tiles via a Hoare-style process calculus
• Feedback, trace and fixed-point semantics
• Automata and coalgebras in categories of species
• Traces for coalgebraic components
• Normal forms for algebras of connections.
• Title not available (Why is that?)

This page was built for publication: Bicategories of processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674474)