Author:
Basold Henning,Bonsangue Marcello,Hansen Helle Hvid,Rutten Jan
Publisher
Springer International Publishing
Reference28 articles.
1. Atiyah, M., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley series in mathematics. Westview Press (1994)
2. Bartels, F.: On Generalised Coinduction and Probabilistic Specification Formats. Ph.D. thesis, Vrije Universiteit Amsterdam (2004)
3. Lecture Notes in Computer Science;M.M. Bonsangue,2008
4. Bonsangue, M.M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Transactions on Computational Logic 14(1), 7–57 (2013)
5. Chen, W.-K.: On flow graph solutions of linear algebraic equations. SIAM Journal on Applied Mathematics 142, 136–142 (1967)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Products, Polynomials and Differential Equations in the Stream Calculus;ACM Transactions on Computational Logic;2024-01-17
2. A Survey of Compositional Signal Flow Theory;IFIP Advances in Information and Communication Technology;2021
3. Contextual Equivalence for Signal Flow Graphs;Lecture Notes in Computer Science;2020
4. STREAM DIFFERENTIAL EQUATIONS: SPECIFICATION FORMATS AND SOLUTION METHODS;LOG METH COMPUT SCI;2017
5. Full Abstraction for Signal Flow Graphs;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14