{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:58Z","timestamp":1725663118437},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:12:23Z","timestamp":1330175543000},"page":"356-370","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic specification of a communication scheduler"],"prefix":"10.1007","author":[{"given":"Mathai","family":"Joseph","sequence":"first","affiliation":[]},{"given":"Abha","family":"Moitra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1145\/357094.357101","volume":"2","author":"A. J. Bernstein","year":"1980","unstructured":"A.J. Bernstein, Output guards and nondeterminism in \u201cCommunicating Sequential Processes\u201d, ACM Trans. Prog. Lang. and Sys., 2, 2, April 1980, pp. 234\u2013238.","journal-title":"ACM Trans. Prog. Lang. and Sys."},{"issue":"2","key":"23_CR2","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"K. M. Chandy","year":"1983","unstructured":"K.M. Chandy, J. Misra, L.M. Haas, Distributed deadlock detection, ACM Trans. on Comp. Sys., 1, 2, May 1983, pp. 144\u2013156.","journal-title":"ACM Trans. on Comp. Sys."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"P.R.F. Cunha, T.S.E. Maibaum, A communication data type for message oriented programming, Proc. IV Intl. Symp. on Prog., Springer-Verlag, Lecture Notes in Computer Science, Vol. 83, 1980, pp. 79\u201391.","DOI":"10.1007\/3-540-09981-6_6"},{"issue":"1","key":"23_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E. W. Dijkstra","year":"1980","unstructured":"E.W. Dijkstra, C.S. Scholten, Termination detection for diffusing computations, Inf. Proc. Lett., 11, 1, August 1980, pp. 1\u20134.","journal-title":"Inf. Proc. Lett."},{"issue":"11","key":"23_CR5","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"J. A. Feldman","year":"1978","unstructured":"J.A. Feldman, High level programming for distributed computing, Comm. ACM, 21, 11, November 1978, pp. 934\u2013941.","journal-title":"Comm. ACM"},{"issue":"1","key":"23_CR6","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"N. Francez, Distributed termination, ACM Trans. on Prog. Lang. and Sys., 2, 1, January 1980, pp. 42\u201355.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"23_CR7","unstructured":"J.A. Goguen, Abstract errors for abstract data types, in Formal Description of Programming Concepts, E.J. Neuhold (Ed.), North Holland, 1978, pp. 491\u2013525."},{"key":"23_CR8","first-page":"80","volume-title":"Current Trends in Programming Methodology Vol. IV: Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher and E.G. Wagner, An initial algebra approach to the specification, correctness, and implementation of abstract data types, in Current Trends in Programming Methodology Vol. IV: Data Structuring, R.T. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, 1978, pp. 80\u2013149."},{"issue":"1","key":"23_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"J.V. Guttag and J.J. Horning, The algebraic specification of abstract data types, Acta Inform., 10, 1, 1978, pp. 27\u201352.","journal-title":"Acta Inform."},{"issue":"8","key":"23_CR10","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, Communicating sequential processes, Comm. ACM, 21, 8, August 1978, pp. 666\u2013677.","journal-title":"Comm. ACM"},{"issue":"10","key":"23_CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/954627.954630","volume":"12","author":"M. E. Majster","year":"1977","unstructured":"M.E. Majster, Limits of the \u2018algebraic\u2019 specification of abstract data types, SIGPLAN Notices, 12, 10, October 1977, pp. 37\u201342.","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"23_CR12","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/TSE.1982.234770","volume":"SE-8","author":"A. Moitra","year":"1982","unstructured":"A. Moitra, Direct implementation of algebraic specification of abstract data types, IEEE Trans. on Software Eng., SE-8, 1, January 1982, pp. 12\u201320.","journal-title":"IEEE Trans. on Software Eng."},{"key":"23_CR13","unstructured":"B.J. Nelson, Remote procedure call, Tech. Rep., Computer Science Department, Carnegie-Mellon University, May 1981."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"J.W. Thatcher, E.G. Wagner and J.B. Wright, Data type specification: parameterization and the power of specification techniques, in Proc. of the Tenth Annual ACM Symp. on Theory of Computing (1978) 119\u2013132.","DOI":"10.1145\/800133.804340"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"N. Wirth, Programming in Modula 2, Springer-Verlag, 1982.","DOI":"10.1007\/978-3-642-96717-7"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:58:07Z","timestamp":1619542687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}