Bialgebraic foundations for the operational semantics of string diagrams (Q2051792): Difference between revisions

@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+The seal calculus
@@ Property / cites work: The seal calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Signal Flow Graphs
@@ Property / cites work: Full Abstraction for Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Categories in Control
@@ Property / cites work: Categories in Control / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical approach to open and interconnected dynamical systems
+Normal rank
@@ Property / cites work @@
+Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Q4373555
@@ Property / cites work: Q4373555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150076
@@ Property / cites work: Q5150076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875399
@@ Property / cites work: Q5875399 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Signal Flow Graphs
@@ Property / cites work: A Categorical Semantics of Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of signal flow diagrams. I: Linear relations on streams.
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Q4484504
@@ Property / cites work: Q4484504 / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting Distributive Laws
@@ Property / cites work: Presenting Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256309
@@ Property / cites work: Q4256309 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum and Classical Structures in Nondeterminstic Computation
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852051
@@ Property / cites work: Q2852051 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting modulo symmetric monoidal structure
@@ Property / cites work: Rewriting modulo symmetric monoidal structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875359
@@ Property / cites work: Q5875359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384925
@@ Property / cites work: Q3384925 / rank @@
+Normal rank
@@ Property / cites work @@
+The Space and Motion of Communicating Agents
@@ Property / cites work: The Space and Motion of Communicating Agents / rank @@
+Normal rank
@@ Property / cites work @@
+On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
+Normal rank
@@ Property / cites work @@
+Q2908856
@@ Property / cites work: Q2908856 / rank @@
+Normal rank