Refinement for signal flow graphs (Q5111638): Difference between revisions

@@ label / en / label / en @@
+Refinement for signal flow graphs
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare logic for linear systems
@@ Property / cites work: A Hoare logic for linear systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356368
@@ Property / cites work: Q4356368 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories in Control
@@ Property / cites work: Categories in Control / 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 @@
+Interacting Bialgebras Are Frobenius
@@ Property / cites work: Interacting Bialgebras Are Frobenius / 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 @@
+Interacting Hopf algebras
@@ Property / cites work: Interacting Hopf algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of signal flow diagrams. I: Linear relations on streams.
+Normal rank
@@ Property / cites work @@
+A basic algebra of stateless connectors
@@ Property / cites work: A basic algebra of stateless connectors / rank @@
+Normal rank
@@ Property / cites work @@
+Connector algebras for C/E and P/T nets' interactions
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on coinductive stream calculus and signal flow graphs
+Normal rank
@@ Property / cites work @@
+Fibonacci's \textit{Liber abaci}. A translation into modern English of Leonardo Pisano's \textit{Book of calculation}. Transl. from the Latin and with an introduction, notes and bibliography by L. E. Sigler
+Normal rank
@@ Property / cites work @@
+Nets, Relations and Linking Diagrams
@@ Property / cites work: Nets, Relations and Linking Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+The Behavioral Approach to Open and Interconnected Systems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.CONCUR.2017.24
+Normal rank
@@ Property / OpenAlex ID @@
+W2759078539
@@ Property / OpenAlex ID: W2759078539 / rank @@
+Normal rank
@@ Property / title @@
+Refinement for signal flow graphs (English)
@@ Property / title: Refinement for signal flow graphs (English) / rank @@
+Normal rank