Author:
Orejas F.,Nivela Ma P.,Ehrig H.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and their Basic Interconnections, J. of Comp. Syst. Sci. 34 (1987) 293–339.
2. H. Ehrig: A categorical concept of constraints for algebraic specifications, Technical University of Berlin, 1.989.
3. H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer, 1985.
4. H. Ehrig, H. Weber: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress'86, Dublin, Sept. 1986.
5. J.A. Goguen, J. Meseguer, "Universal realization, persistent interconnection and implementation of abstract modules," Proc. IX ICALP, Springer LNCS 140, pp. 265–281, 1982.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献