Bicategories of processes
From MaRDI portal
Publication:674474
DOI10.1016/S0022-4049(96)00012-6zbMath0933.18008OpenAlexW2016554178MaRDI QIDQ674474
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
feedbacknormal form theoremalgebra of processesbicategories of processescircuit designprocess in symmetric monoidal categorysuspension-loop construction
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
This page was built for publication: Bicategories of processes