On the specification of the firing squad problem

  • Egidio Astesiano
  • Gianna Reggio
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)


Temporal Logic Partial Action Linear Temporal Logic Label Transition System Fast Wave 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [A]
    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 1984Google Scholar
  2. [AMRW]
    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. [AMRZ]
    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, 1985Google Scholar
  4. [AR]
    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. [B]
    D.Bjørner,"Requirements of a formal definition of ADA", ADA Europe Formal Definition Working Group, February 1983.Google Scholar
  6. [BW]
    M. Broy, M. Wirsing, "Partial abstract types", Acta Informatica 18, 47–64, 1982.Google Scholar
  7. [DM]
    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]
    L.Lamport, "What good is temporal logic ?",Proceedings of the IFIP 9th World Computer Congress, North-Holland,September 1983.Google Scholar
  9. [M]
    M.Minsky,"Computation: finite and infinite machines", Prentice-Hall, 1972.Google Scholar
  10. [MP]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.Istituto di MatematicaGenovaItaly

Personalised recommendations