{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:23Z","timestamp":1725663143338},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116042"},{"type":"electronic","value":"9783540394242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11604-4_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:47:32Z","timestamp":1330174052000},"page":"42-62","source":"Crossref","is-referenced-by-count":0,"title":["Specification of schedulers with algebraic specification techniques"],"prefix":"10.1007","author":[{"given":"Kouichi","family":"Wada","sequence":"first","affiliation":[]},{"given":"Kenichi","family":"Hagihara","sequence":"additional","affiliation":[]},{"given":"Toshiro","family":"Araki","sequence":"additional","affiliation":[]},{"given":"Nobuki","family":"Tokura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","unstructured":"ADJ (Authors: Goguen J.A., Thatcher J.W., Wagner E.G. and Wright J.B.). (1973). A junction between computer science and category theory: I, Basic definitions and examples, part 1. IBM Research Report RC4526, September 1973."},{"key":"3_CR2","unstructured":"ADJ (GJA, TJW, WEG). (1976). An initial algebra approach to the specification, correctness, and implementation of abstract data types. IBM Research Report RC6487, October 1976."},{"key":"3_CR3","unstructured":"ADJ (TJW, WEG, WJB). (1979). Data Type specification: parameterization and the power of specification technique. IBM Research Report RC7757, July 1979."},{"key":"3_CR4","unstructured":"Ehrich H.-D. (1978). On the theory of specification, implementation and parameterization of abstract data types. Research Report, Dortmunt, 1978."},{"key":"3_CR5","unstructured":"Ehrig H. and Kreowski H.-J. (1977). Some remarks concerning correct specification and implementation of abstract data types. Technical University of Berlin Report Berich-Nr. 77-13, August 1977."},{"key":"3_CR6","unstructured":"Ehrig H., Kreowski H.-J., Thatcher J.W., Wagner E.G. and Wright J.B. (1979). Parameterized data types in algebraic specification languages (summary). The Seventh International Colloquium on Automata Language and Programming, 1\u201319, November 1979."},{"key":"3_CR7","unstructured":"Guttag J.V. (1975). The specification and application to programming of abstract data types. University of Toronto Computer Systems Research Group Technical Report, CSRG59, September 1975."},{"key":"3_CR8","series-title":"Paper of Technical Group on Automata and Languages","volume-title":"On algebraic techniques for program specification","author":"T. Kasami","year":"1978","unstructured":"Kasami T., Taniguchi K., Sugiyama Y., Hagihara K., Suzuki I. and Okui J. (1978). On algebraic techniques for program specification. Paper of Technical Group on Automata and Languages, AL78-5, IECE Japan, May 1978 (In Japanese)."},{"key":"3_CR9","series-title":"Paper of Technical Group on Automata and Languages","volume-title":"Algebraic specifications with function parameters","author":"K. Wada","year":"1980","unstructured":"Wada K., Hagihara K., Araki T. and Tokura N. (1980). Algebraic specifications with function parameters. Paper of Technical Group on Automata and Languages, AL79-111, IECE Japan, February 1980 (In Japanese)."}],"container-title":["Lecture Notes in Computer Science","Operating Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11604-4_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:44:21Z","timestamp":1619541861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11604-4_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116042","9783540394242"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-11604-4_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}