{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:36:31Z","timestamp":1725636991989},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198543"},{"type":"electronic","value":"9781447132295"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3229-5_19","type":"book-chapter","created":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T00:07:19Z","timestamp":1322266039000},"page":"340-355","source":"Crossref","is-referenced-by-count":6,"title":["Reasoning about Dynamic Features in Specification Languages"],"prefix":"10.1007","author":[{"given":"Rix","family":"Groenboom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard R.","family":"Renardel de Lavalette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, A logical operational semantics for full prolog, In: Proceedings CSL \u201889, E. B\u00f6rger, H. Kleine B\u00fcning and M.M. Richter (Eds.), LNCS 440, Springer Verlag, 1990, pp. 36\u201364.","DOI":"10.1007\/3-540-52753-2_31"},{"key":"19_CR2","volume-title":"The WAM \u2014 definition and Compiler Correctness, Technical Report TR - 14\/92","author":"E B\u00f6rger","year":"1992","unstructured":"E. B\u00f6rger and D. Rosenzweig, The WAM \u2014 definition and Compiler Correctness, Technical Report TR - 14\/92, Department of Computer Science, University of Pisa, 1992."},{"key":"19_CR3","volume-title":"Model Theory","author":"CC Chang","year":"1990","unstructured":"C.C. Chang and H.J. Keisler, Model Theory, North Holland, Second revised editon, 1990."},{"key":"19_CR4","volume-title":"Springer Verlag","author":"EW Dijkstra","year":"1990","unstructured":"E.W. Dijkstra and C.S. Scholten, Predicate Calculus and Program Semantics, Springer Verlag, 1990."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"L.M.G. Feijs and H.B.M. Jonkers, Formal Specification and Design, Cambridge Tracts in Theoretical Computer Science 35, 1992.","DOI":"10.1017\/CBO9780511569777"},{"key":"19_CR6","unstructured":"L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymansar G.h. Renardel de Lavalette, Formal definition of the design language COLD-K (Preliminary version), ESPRIT document METEOR\/t7\/PRLE\/7, April 1987 ( Final version: August 1989 )."},{"key":"19_CR7","unstructured":"R. Goldblatt, Axiomatising the logic of computer science, LNCS 130, Springer Verlag, 1982."},{"key":"19_CR8","first-page":"1","volume-title":"Trends in Theoretical computer science","author":"Y Gurevich","year":"1988","unstructured":"Y. Gurevich, Logic and the challenge of computer science, In: Trends in Theoretical computer science, E. B\u00f6rger (ed.), Computer Science Press, 1988, pp. 1\u201357."},{"key":"19_CR9","unstructured":"Y. Gurevich, Evolving algebras; a tutorial introduction, Bulletin of the EATCS 43, Febr. 1991, pp. 264\u2013284"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. Moss, Algebraic operational semantics and Occam, In: Peoceedings CSL \u201889, E. B\u00f6rger, H. Kleine B\u00fcning and M.M. Richter (Eds.), LNCS 440, Springer Verlag, 1990, pp. 176\u2013192.","DOI":"10.1007\/3-540-52753-2_39"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"JV Guttag","year":"1978","unstructured":"J.V. Guttag and J.J. Horning, The algebraic specification of abstract data types, Acta Informatica 10, 1978, pp. 27\u201352.","journal-title":"Acta Informatica"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel, Dynamic Logic, In: Handbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner (eds.), D. Reidel Publishing Company, 1984, pp. 497\u2013604.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"M. Heisel, W. Reif and W. Stephan, A dynamic logic for program verfication, In: Logic at Botik 89,A. Meyer, M. Taitslin (eds), LNCS 363, Springer Verlag, pp. 134\u2013145.","DOI":"10.1007\/3-540-51237-3_12"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"M. Heisel, W. Reif and W. Stephan, Tactical Theorem Proving in Program Verification, In: Conference on Automated Deduction, Siekmann (ed), LNAI, Spinger Verlag, 1990.","DOI":"10.1007\/3-540-52885-7_83"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L Henkin","year":"1949","unstructured":"L. Henkin, The completeness of the first order functional calculus, The Journal of Symbolic Logic 14, 1949, pp. 159\u2013166.","journal-title":"The Journal of Symbolic Logic"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"C.P.J. Koymans and G.R. Renardel de Lavalette, The logic MPLW, In: Algebraic Methods: Theory, tools and applications, M. Wirsing and J.A. Bergstra (eds.), LNCS 394, Springer Verlag, 1989, pp. 247\u2013282.","DOI":"10.1007\/BFb0015041"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"V.R. Pratt, Semantical considerations on Floyd-Hoare logic, Proc. 17th annual IEEE symp. on foundations of computer science, 1976, pp. 109\u2013121.","DOI":"10.1109\/SFCS.1976.27"}],"container-title":["Workshops in Computing","Semantics of Specification Languages (SoSL)"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3229-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T13:42:58Z","timestamp":1578490978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3229-5_19"}},"subtitle":["A Modal view on Creation and Modification"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198543","9781447132295"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3229-5_19","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}