Unifying theories in different institutions-Reference-Cited by-同舟云学术

Unifying theories in different institutions

Published:1996 Issue: Volume: Page:81-101
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Arrais M.,Fiadeiro J. L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61629-2_38.pdf

Reference17 articles.

1. E.Astesiano and M.Cerioli, “Relationships between Logical Frameworks”, in M.Bidoit and C. Choppy (eds) Recent Trends in Data Type Specification, LNCS 655, Springer Verlag 1993, 126–143.

2. N.Barreiro, J.Fiadeiro and T.Maibaum, “Politeness in Object Societies”, in R.Wieringa and R.Feenstra (eds) Information Systems — Correctness and Reusability, World Scientific Publishing Company 1995, 119–134

3. R.Burstall and J.Goguen, “Putting Theories together to make Specifications”, in R.Reddy (ed) IJCAI'77, 1977, 1045–1058.

4. J.Fiadeiro and J.F.Costa, “Institutions for Behaviour Specification”, in E.Astesiano, G.Reggio and A.Tarlecki (eds) Recent Trends in Data Type Specification, LNCS 906, Springer Verlag 1995, 273–289.

5. J.Fiadeiro and J.F.Costa, “Mirror, Mirror in My Hand: a duality between specifications and models of process behaviour”, Mathematical Structures in Computer Science, in print

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Three Decades of Institution Theory;Universal Logic: An Anthology;2012

2. Heterogeneous Logical Environments for Distributed Specifications;Recent Trends in Algebraic Development Techniques;2009

3. A Methodological Guide to the CafeOBJ Logic;Logics of Specification Languages;2007-12-05

4. Theoroidal Maps as Algebraic Simulations;Recent Trends in Algebraic Development Techniques;2005

5. Architectural Specifications for Reactive Systems;Recent Trends in Algebraic Development Techniques;2005