Contextual equivalence for signal flow graphs (Q2200814): Difference between revisions

@@ Property / OpenAlex ID @@
+W3015904789
@@ Property / OpenAlex ID: W3015904789 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories in Control
@@ Property / cites work: Categories in Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q5496719
@@ Property / cites work: Q5496719 / rank @@
+Normal rank
@@ Property / cites work @@
+(Co)Algebraic Characterizations of Signal Flow Graphs
+Normal rank
@@ Property / cites work @@
+Contextual equivalence for signal flow graphs
@@ Property / cites work: Contextual equivalence for signal flow graphs / 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 @@
+Full Abstraction for Signal Flow Graphs
@@ Property / cites work: Full Abstraction for 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 @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Picturing Quantum Processes
@@ Property / cites work: Picturing Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
+Normal rank
@@ Property / cites work @@
+Q3384925
@@ Property / cites work: Q3384925 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal computer. I: Basic computability by string diagrams
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A tutorial on coinductive stream calculus and signal flow graphs
+Normal rank
@@ Property / cites work @@
+Rational streams coalgebraically
@@ Property / cites work: Rational streams coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+The Behavioral Approach to Open and Interconnected Systems
+Normal rank