Skip to main content
SpringerLink
Log in
Book cover

The Analysis of Concurrent Systems pp 135–156Cite as

On the specification of the firing squad problem

  • 4. Solutions
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E.Astesiano, "Combining an operational with an algebraic approach to the speci fication of concurrency", Quaderni CNET n.127, ETS Pisa, 1984, also to appear in the proceedings of the Workshop on Combining Methods,Nyborg (Denmark), May 1984

    Google Scholar 

  2. E.Astesiano, G.Mascari, G.Reggio, M.Wirsing, "On the parametrized algebraic specification of concurrent systems",Proceedings of CAAP '85-TAPSOFT Conference, Berlin,LNCS n.185,Springer-Verlag, 1985.

    Google Scholar 

  3. E.Astesiano, F.Mazzanti, G.Reggio, E.Zucca, "Formal specification of a concurrent architecture in a real project".Proceedings of ICS '85 ACM (International Computing Symposium), North-Holland, 1985

    Google Scholar 

  4. E.Astesiano,G.Reggio, "A unifying viewpoint for the construcive specification of cooperation,concurrency and distribution".Quaderni CNET n.115,ETS Pisa 1983.

    Google Scholar 

  5. D.Bjørner,"Requirements of a formal definition of ADA", ADA Europe Formal Definition Working Group, February 1983.

    Google Scholar 

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

    Google Scholar 

  7. P.Degano, U.Montanari, "A model for distributied systems based on graph rewriting",Draft,Department of Informatics,University of Pisa, November 1983 (submitted for publication).

    Google Scholar 

  8. L.Lamport, "What good is temporal logic ?",Proceedings of the IFIP 9th World Computer Congress, North-Holland,September 1983.

    Google Scholar 

  9. M.Minsky,"Computation: finite and infinite machines", Prentice-Hall, 1972.

    Google Scholar 

  10. Z.Manna,A.Pnueli, "How to cook a temporal proof system for your pet language", Proceedings of the ACM Symposium on Principles of Programming Languages, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Matematica, Via L.B.Alberti 4, 16132, Genova, Italy

    Egidio Astesiano & Gianna Reggio

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

Editor information

B. T. Denvir W. T. Harwood M. I. Jackson M. J. Wray

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Astesiano, E., Reggio, G. (1985). On the specification of the firing squad problem. In: Denvir, B.T., Harwood, W.T., Jackson, M.I., Wray, M.J. (eds) The Analysis of Concurrent Systems. Lecture Notes in Computer Science, vol 207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16047-7_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-16047-7_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16047-2

  • Online ISBN: 978-3-540-39731-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation