Advertisement

Institutions for very abstract specifications

  • M. Cerioli
  • G. Reggio
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 785)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    E. Astesiano and G. Reggio. Entity institutions: Frameworks for dynamic systems, 1993. inpreparation.Google Scholar
  2. 2.
    E. Astesiano and G. Reggio. A metalanguage for the formal requirement specifica-tion of reactive systems. In Proc. of FME'93, number 670 in L.N.C.S., Berlin, 1993. Springer-Verlag.Google Scholar
  3. 3.
    C. Beierle and A. Voss. Viewing implementations as an institution. In Proc. of Category Theory and Computer Science, number 283 in L.N.C.S., Berlin, 1987. Springer-Verlag.Google Scholar
  4. 4.
    R. Burstall and J. Goguen. Introducing institutions. In Logics of Programming Workshop, number 164 in L.N.C.S. Springer Verlag, Berlin, 1984.Google Scholar
  5. 5.
    R. Burstall and J. Goguen. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1), 1992.Google Scholar
  6. 6.
    M. Cerioli and G. Reggio. Algebraic-oriented institutions. In Proc. AMAST'93, Workshops in Computing. Springer Verlag, Berlin, 1993.Google Scholar
  7. 7.
    P. Pepper. Transforming algebraic specifications. In Proc. AMAST'91, Workshops in Computing. Springer Verlag, Berlin, 1992.Google Scholar
  8. 8.
    G. Reggio. Entities: an institution for dynamic systems. In Recent Trends in Data Type Specification, number 534 in L.N.C.S. Springer Verlag, Berlin, 1991.Google Scholar
  9. 9.
    G. Reggio. Event logic for specifying abstract dynamic data types. In Recent Trends in Data Type Specification, number 655 in L.N.C.S. Springer Verlag, Berlin, 1993.Google Scholar
  10. 10.
    G. Reggio, A. Morgavi, and V. Filippi. Specification of a high-voltage substation. Technical Report PDISI-92-12, Dipartimento di Informatica e Scienze dell'Informazione-Università di Genova, Italy, 1992.Google Scholar
  11. 11.
    G. Reichwein and J. Fiadeiro. A semantic framework for interoperability. Technical report, Departemento de matematica, Instituto superior técnico, Universidade técnica de Lisboa, 1992.Google Scholar
  12. 12.
    D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • M. Cerioli
    • 1
  • G. Reggio
    • 1
  1. 1.Dipartimento di Informatica e Scienze dell'InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations