Author:
Ehrig Hartmut,Parisi-Presicce Francesco,Boehm Paul,Rieckhoff Catharina,Dimitrovici Cristian,Große-Rhode Martin
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright: Initial Algebra Semantics as Continuous Algebras, Journal ACM 24, 68–95, 1977
2. J.B. Wright, E.G. Wagner, J.W. Thatcher: A Uniform Approach to Inductive Posets and Inductive Closure, Theoretical Computer Science 7, 57–77, 1978
3. A. Arnold, M. Nivat: The metric space of infinite trees. Algebraic and topological properties, Societatis Mathematicae Polonae, Series IV:Fundamenta Informatica III, 4 p. 445–476, 1980
4. E.K.Blum, H.Ehrig,F.Parisi-Presicce: Algebraic Specifications of Modules and Their Basic Interconnections, Journal of Computer and System Sciences Vol 34, April/June 1987
5. J.A. Bergstra, J.W. Klop, 1983: The Algebra of recursively defined processes and the algebra of regular processes, Report IW 235/83, Math. Centrum, Amsterdam 1983
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献