{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T01:44:42Z","timestamp":1648863882212},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1985,10,1]],"date-time":"1985-10-01T00:00:00Z","timestamp":496972800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1985,10]]},"DOI":"10.1007\/bf00987039","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T10:10:26Z","timestamp":1105265426000},"page":"277-306","source":"Crossref","is-referenced-by-count":2,"title":["Towards formal specification of a distributed computing system"],"prefix":"10.1007","volume":"14","author":[{"given":"V. K.","family":"Agrawal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. M.","family":"Patnaik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. S.","family":"Goel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Report Doc. No. INSAT-II-00-84-04-05-11, ISRO Satellite Centre, Bangalore, India (April 1984)."},{"key":"CR2","unstructured":"V. K. Agrawal, L. M. Patnaik and P. S. Goel, Specification and Validation of a Protocol for Real-time Distributed Computing System,Proc. International Conf. on Computers,Systems and Signal Processing, Bangalore, India, pp. 265?269 (December 1984)."},{"key":"CR3","unstructured":"G. L. Lann, On Real-time Distributed Computing,IFIP, pp. 741?753 (1983)."},{"key":"CR4","unstructured":"G. L. Lann, Deterministic Multiple Access Protocol for Real-time Local Area Networks, Report No. 246, (October 1983)."},{"issue":"11","key":"CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MC.1980.1653419","volume":"13","author":"W. W. Chu","year":"1980","unstructured":"W. W. Chu, L. J. Holway, M. Lan and K. Efe, Task Allocation in Distributed Data Processing,IEEE Computer,13(11):57?69 (November 1980).","journal-title":"IEEE Computer"},{"issue":"4","key":"CR6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1109\/TSE.1982.235574","volume":"SE-8","author":"T. C. K. Chou","year":"1982","unstructured":"T. C. K. Chou and A. Abraham, Load Balancing in Distributed Systems,IEEE Trans. Software Eng.,SE-8(4):401?412 (July 1982).","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/356842.356845","volume":"13","author":"W. Kohler","year":"1981","unstructured":"W. Kohler, A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems,ACM Computing Surveys,13(2):149?183 (June 1981).","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"CR8","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/319566.319567","volume":"6","author":"H. T. Kung","year":"1981","unstructured":"H. T. Kung and J. T. Robinson, On Optimistic Methods for Concurrency Control,ACM Trans. Database System,6(2):213?226 (June 1981).","journal-title":"ACM Trans. Database System"},{"key":"CR9","unstructured":"S. S. Yau and C. C. Yang, An Approach to Distributed Computing System Software Design,Proc. IEEE Conf. on Distributed Computing Systems, pp. 31?42 (October 1979)."},{"key":"CR10","unstructured":"P. M. Lu and S. S. Yau, A Methodology for Representing the Formal Specification of Distributed Computing System Software Design,Proc. IEEE Conf. on Distributed Computing Systems, pp. 211?221 (October 1979)."},{"key":"CR11","unstructured":"Towards Formal Specification of a Distributed Computing System, Technical Report No. CSS-05-85, ISRO Satellite Centre, Bangalore, India, (April 1985)."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00987039.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00987039\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00987039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T17:01:00Z","timestamp":1556298060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00987039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,10]]},"references-count":11,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1985,10]]}},"alternative-id":["BF00987039"],"URL":"https:\/\/doi.org\/10.1007\/bf00987039","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,10]]}}}