Preview
Unable to display preview. Download preview PDF.
References
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
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.
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
E.Astesiano,G.Reggio, "A unifying viewpoint for the construcive specification of cooperation,concurrency and distribution".Quaderni CNET n.115,ETS Pisa 1983.
D.Bjørner,"Requirements of a formal definition of ADA", ADA Europe Formal Definition Working Group, February 1983.
M. Broy, M. Wirsing, "Partial abstract types", Acta Informatica 18, 47–64, 1982.
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).
L.Lamport, "What good is temporal logic ?",Proceedings of the IFIP 9th World Computer Congress, North-Holland,September 1983.
M.Minsky,"Computation: finite and infinite machines", Prentice-Hall, 1972.
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.
Author information
Authors and Affiliations
Editor information
Rights 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