Skip to main content
SpringerLink
Log in

Relational specifications and observational semantics

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1986 (MFCS 1986)

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

Work partially supported by MPI 40% project and Esprit project METEOR.

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. (LNCS n. xx stands for Lectures Notes in Computer Science n. xx, Springer Verlag.)

    Google Scholar 

  2. E. Astesiano, A.Giovini, F.Mazzanti, G.Reggio, E.Zucca, The Ada challenge for new formal semantic techniques, to appear in Proc. Ada-Europe Conference, Edinburgh, May,1986.

    Google Scholar 

  3. E.Astesiano,G.F.Mascari, G.Reggio, M.Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85-TAPSOFT Conference, LNCS n. 185, 1985.

    Google Scholar 

  4. E.Astesiano, G.Reggio, A syntax directed approach to the semantics of concurrent languages, to appear in Proc. '86 IFIP World Congress, (Dublin, Ireland), North Holland, 1986.

    Google Scholar 

  5. E.Astesiano, G.Reggio, An introduction to SMoLCS, Internal report, 1986.

    Google Scholar 

  6. E.Astesiano, M.Wirsing, An introduction to ASL, Proc. IFIP TC2 Working Conference, Bad Tölz, North Holland, 1986.

    Google Scholar 

  7. H. Barringer, J.H. Ching, C.B. Jones, A logic covering undefinedness in program proof, Acta Informatica 20, 251–269, 1984.

    Google Scholar 

  8. M.Broy, M. Wirsing, On the algebraic specification of finitary infinite communicating sequential processes, in Proc. IFIP TC2 Working Conference on "Formal Description of Programming Concepts II", Garmisch, 1982.

    Google Scholar 

  9. M. Broy, M. Wirsing, Partial abstract types, Acta Informatica 18, 47–64, 1982.

    Google Scholar 

  10. R.Milner, A calculus of communicating systems, LNCS n.92, 1980.

    Google Scholar 

  11. G.Plotkin, An operational semantics for CSP, in Proc. IFIP TC2 Working Conference on "Formal description of Programming concepts II, Garmisch, 1982.

    Google Scholar 

  12. D.Sannella, M.Wirsing, A kernel language for algebraic specification and implementation, Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden LNCS n. 158, 1985.

    Google Scholar 

  13. E. Astesiano, C.Bendix Nielsen, N.Botta, A.Fantechi, A.Giovini, P.Inverardi, E.W.Karlsen, F.Mazzanti, J.Storbank Pedersen, G.Reggio, E.Zucca, The Trial definition of Ada, Deliverable 7 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada, 1986.

    Google Scholar 

  14. M.Wirsing, Structured algebraic specifications: a kernel language, Habilitation thesis Technische Universitat Munchen.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Universita' di Genova, Italy

    Egidio Astesiano & Gianna Reggio

  2. Fakultät für Mathematik und Informatik, Universität Passau, FRG

    Martin Wirsing

Authors
  1. Egidio Astesiano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gianna Reggio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jozef Gruska Branislav Rovan Juraj Wiedermann

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Astesiano, E., Reggio, G., Wirsing, M. (1986). Relational specifications and observational semantics. In: Gruska, J., Rovan, B., Wiedermann, J. (eds) Mathematical Foundations of Computer Science 1986. MFCS 1986. Lecture Notes in Computer Science, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016244

Download citation

  • DOI: https://doi.org/10.1007/BFb0016244

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16783-9

  • Online ISBN: 978-3-540-39909-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation