Skip to main content
SpringerLink
Log in

Institutions for very abstract specifications

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1992, COMPASS 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 785))

This work has been partially supported by Esprit-BRA W.G. n.6112 Compass, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of C.N.R. (Italy), MURST-40% Modelli e Specifiche di Sistemi Concorrenti

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Astesiano and G. Reggio. Entity institutions: Frameworks for dynamic systems, 1993. inpreparation.

    Google Scholar 

  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. 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. 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. 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. M. Cerioli and G. Reggio. Algebraic-oriented institutions. In Proc. AMAST'93, Workshops in Computing. Springer Verlag, Berlin, 1993.

    Google Scholar 

  7. P. Pepper. Transforming algebraic specifications. In Proc. AMAST'91, Workshops in Computing. Springer Verlag, Berlin, 1992.

    Google Scholar 

  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. 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. 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. 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. D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Viale Benedetto XV, 3 - 16132, Genova, Italy

    M. Cerioli & G. Reggio

Authors
  1. M. Cerioli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Reggio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hartmut Ehrig Fernando Orejas

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cerioli, M., Reggio, G. (1994). Institutions for very abstract specifications. In: Ehrig, H., Orejas, F. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1992 1992. Lecture Notes in Computer Science, vol 785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57867-6_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-57867-6_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57867-3

  • Online ISBN: 978-3-540-48361-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation