scientific article; zbMATH DE number 2222245
From MaRDI portal
zbMath1087.18003MaRDI QIDQ5701017
Robert D. Rosebrugh, Robert F. C. Walters, Nicoletta Sabadini
Publication date: 2 November 2005
Full work available at URL: https://eudml.org/doc/125973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items
Ordinals in Frobenius monads, String Diagram Rewrite Theory I: Rewriting with Frobenius Structure, Recognizable languages of arrows and cospans, Labelled cospan categories and properads, Monoidal Width, Homotopy composition of cospans, Calculating Colimits Compositionally, Unnamed Item, The compositional construction of Markov processes II, The algebra of partial equivalence relations, On the geometry and algebra of networks with state, A Compositional Framework for Passive Linear Networks, Hypergraph categories, Blocked-braid groups, Spans of cospans, Modular invariants for group-theoretical modular data. I, A bicategory of decorated cospans, Props in Network Theory, Structured Cospans, A recipe for black box functors