Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference29 articles.
1. Institutions: Abstract model theory for specification and programming;Goguen;J. ACM,1992
2. Specifications in an arbitrary institution;Sannella;Inform. Control,1988
3. CASL: The common algebraic specification language;Astesiano;Theoret. Comput. Sci.,2002
4. A logical theory of concurrent objects and its realization in the Maude language;Meseguer,1993
5. Logical foundations of CafeOBJ;Diaconescu;Theoret. Comput. Sci.,2002
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献