Skip to main content
SpringerLink
Log in

Generalized bisimulation in relational specifications

  • Contributed Papers
  • Conference paper
  • First Online:
STACS 88 (STACS 1988)

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

Included in the following conference series:

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, G. F. Mascari, G. Reggio, M. Wirsing, On the Parameterized Algebraic Specification of Concurrent Systems, in Proc. CAAP '85-TAP SOFT Conference, LNCS 185, Lecture Notes in Computer Science, n. 185, Springer Verlag, Berlin, 1985.

    Google Scholar 

  2. E. Astesiano, G. Reggio, An Outline of the SMoLCS Methodology, in Mathematical Models for the Semantics of Parallelism, Marisa Venturini Zilli ed., LNCS 280 Lecture Notes in Computer Science, n. 280, Springer Verlag, Berlin, p. 81–113, 1987.

    Google Scholar 

  3. E. Astesiano, G. Reggio, SMoLCS Driven Concurrent Calculi, in Proc. TAP SOFT '87, LNCS 249 Lecture Notes in Computer Science, n. 249, Springer Verlag, Berlin, 1987.

    Google Scholar 

  4. E. Astesiano, G. Reggio, Parameterized Concurrent Calculi, (in preparation).

    Google Scholar 

  5. E. Astesiano, G. Reggio, M. Wirsing, Relational Specifications and Observational Semantics, in Proc. MFCS '86, LNCS 233 Lecture Notes in Computer Science, n. 233, Springer Verlag, Berlin, 1986.

    Google Scholar 

  6. E. Astesiano, M. Wirsing, Bisimulation in Algebraic Specifications, to appear in Proc. CREAS — Austin, Texas, 1987.

    Google Scholar 

  7. M. Broy, M. Wirsing, On the Algebraic Specification of Finitary Infinite Communicating Sequential Processes, in D. Bjorner (ed.) Proc. of IFIP TC 2 Working Conference of Formal Description of Programming Concepts II, Garmisch June 1982, Amsterdam-New York-Oxford: North Holland Publ. Company, 1983.

    Google Scholar 

  8. M. Broy, M. Wirsing, Partial Abstract Types, Acta Informatica 18, 1982.

    Google Scholar 

  9. M. Broy, M. Wirsing, Algebraic Definition of a Functional Programming Language and its Semantic Models, RAIRO Informatique Theorique, 17, 2, 1983.

    Google Scholar 

  10. R. Milner, A Calculus of Communicating Systems, LNCS 92 Lecture Notes in Computer Science, n. 92, Springer Verlag, Berlin, 1980.

    Google Scholar 

  11. R. Milner, Calculi for Synchrony and Asynchrony, Theoret. Comput. Sci. vol. 25, 1983.

    Google Scholar 

  12. B. Möller, Algebraic Specification with Higher-Order Operations, in L.G.L.T. Meertens (ed.) Proc. IFIP TC 2 Working Conference on Program Specification and Transformation, Bad Tolz F.R.G. 1986, Amsterdam-New York-Oxford-Tokyo: North Holland Publ. Company 1987.

    Google Scholar 

  13. D. Park, Concurrency and Automata on Infinite Sequences, in Proc. 5th GI Conference LNCS 104 Lecture Notes in Computer Science, n. 104, Springer Verlag, Berlin, 1981.

    Google Scholar 

  14. G. Reggio, E. Astesiano, A. Giovini, P. Inverardi, F. Mazzanti, E. Zucca, The User Manual of the Metalanguage, Deliverable of the CEC-MAP Project “The Draft Formal Definition of ANSI/MIL-STD 1815A-Ada”, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics, University of Genova, Italy

    Egidio Astesiano, Alessandro Giovini & Gianna Reggio

Authors
  1. Egidio Astesiano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandro Giovini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gianna Reggio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert Cori Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Astesiano, E., Giovini, A., Reggio, G. (1988). Generalized bisimulation in relational specifications. In: Cori, R., Wirsing, M. (eds) STACS 88. STACS 1988. Lecture Notes in Computer Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035846

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18834-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation