Bicategories of processes

DOI10.1016/S0022-4049(96)00012-6zbMath0933.18008OpenAlexW2016554178MaRDI QIDQ674474

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Related Items (10)

Feedback, trace and fixed-point semantics ⋮ Van Kampen Colimits as Bicolimits in Span ⋮ A basic algebra of stateless connectors ⋮ Calculating Colimits Compositionally ⋮ Towards compositional graph theory ⋮ Traces for coalgebraic components ⋮ Comparing cospan-spans and tiles via a Hoare-style process calculus ⋮ Normal forms for algebras of connections. ⋮ Dynamic connectors for concurrency ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

Cites Work

• Cartesian bicategories. I
• Notes on finite asynchronous automata
• An imperative language based on distributive categories
• An imperative language based on distributive categories II
• Introduction to bicategories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bicategories of processes