{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:23Z","timestamp":1725456323118},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029960","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:24:59Z","timestamp":1133418299000},"page":"169-178","source":"Crossref","is-referenced-by-count":1,"title":["Specifying computations using hyper transition systems"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"17_CR1","unstructured":"Back, R.-J.R.: Correctness Preserving Program Refinements: Proof Theory and Applications, vol. 131 of Mathematical Centre Tracts, Amsterdam, 1980."},{"key":"17_CR2","unstructured":"Bonsangue, M.M.: Topological Dualities in Semantics. PhD thesis, Vrije Universiteit Amsterdam, 1996."},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF00259469","volume":"27","author":"R.-J.R. Back","year":"1990","unstructured":"Back, R.-J.R., von Wright, J.: Dualities in specification languages: a lattice theoretical approach. Acta Informatica, 27:583\u2013625, 1990.","journal-title":"Acta Informatica"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Back, R.-J.R., von Wright, J.: Refinement Calculus: a Systematic Introduction. Preliminary version of a book submitted for publication, 1997.","DOI":"10.1007\/978-1-4612-1674-2_1"},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0304-3975(92)00016-K","volume":"124","author":"W.H. Hesselink","year":"1994","unstructured":"Hesselink, W.H.: Nondeterminacy and recursion via stacks and games. Theoretical Computer Science, 124(2):273\u2013295, 1994.","journal-title":"Theoretical Computer Science"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems, vol. 92 of LNCS. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Nilsson, N.J.: Principles of Artificial Intelligence. Springer-Verlag, 1982.","DOI":"10.1007\/978-3-662-09438-9"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Park, D.M.: Concurrency and automata on infinite sequences. In P. Deussen, ed, 5th GI Conference, vol. 104 of LNCS, pp. 167\u2013183, Springer-Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"17_CR9","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:22:06Z","timestamp":1586593326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0029960","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}