{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:13Z","timestamp":1725663373970},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:33:09Z","timestamp":1330194789000},"page":"135-156","source":"Crossref","is-referenced-by-count":1,"title":["On the specification of the firing squad problem"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Gianna","family":"Reggio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","unstructured":"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"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-15198-2_22"},{"key":"13_CR3","unstructured":"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"},{"key":"13_CR4","unstructured":"E.Astesiano,G.Reggio, \"A unifying viewpoint for the construcive specification of cooperation,concurrency and distribution\".Quaderni CNET n.115,ETS Pisa 1983."},{"key":"13_CR5","unstructured":"D.Bj\u00f8rner,\"Requirements of a formal definition of ADA\", ADA Europe Formal Definition Working Group, February 1983."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing, \"Partial abstract types\", Acta Informatica 18, 47\u201364, 1982.","journal-title":"Acta Informatica"},{"key":"13_CR7","unstructured":"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)."},{"key":"13_CR8","unstructured":"L.Lamport, \"What good is temporal logic ?\",Proceedings of the IFIP 9th World Computer Congress, North-Holland,September 1983."},{"key":"13_CR9","unstructured":"M.Minsky,\"Computation: finite and infinite machines\", Prentice-Hall, 1972."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/567067.567082"}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:42Z","timestamp":1605643782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}