{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:34Z","timestamp":1762458574508},"reference-count":16,"publisher":"Informa UK Limited","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1080\/00207729708929473","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T10:56:04Z","timestamp":1183805764000},"page":"1129-1144","source":"Crossref","is-referenced-by-count":2,"title":["Automating the refinement of specifications for distributed systems via syntactic transformations"],"prefix":"10.1080","volume":"28","author":[{"given":"PAUL","family":"ATTIE","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CHAMPAK","family":"DAS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Action Refinement in Process Algebras","author":"ACETO L.","year":"1992"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/BF01558665"},{"key":"CIT0003","volume-title":"Process Algebra, Cambridge Tracts in Theoretical Computer Science","author":"BAETEN J.","year":"1990"},{"key":"CIT0004","volume-title":"Parallel Program Design","author":"CHANDY K. M.","year":"1988"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383954"},{"key":"CIT0006","volume-title":"Nuprl as a general logic","author":"CONSTABLE R.","year":"1989"},{"key":"CIT0007","volume-title":"Arbeitspapiere der GMD 594, Sankt Augustin","author":"CZAJA I.","year":"1991"},{"key":"CIT0008","volume-title":"Proceedings of the Fourth International Workshop on Software Specification and Design","author":"DAVIS N.","year":"1987"},{"key":"CIT0009","volume-title":"Program Verification","author":"FRANCEZ N.","year":"1992"},{"key":"CIT0010","volume-title":"Comparative concurrency semantics and refinement of actions","author":"VAN GLABREEK R.","year":"1990"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00289062","volume":"14","author":"LAMPORT L.","year":"1980","journal-title":"Acta Informal ica"},{"key":"CIT0013","doi-asserted-by":"crossref","DOI":"10.21236\/ADA324036","volume-title":"STeP: the Stanford temporal power","author":"MANNA Z.","year":"1994"},{"key":"CIT0014","volume-title":"Communication and Concurrency","author":"MILNER R.","year":"1989"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233514"},{"key":"CIT0016","first-page":"167","volume-title":"Proceedings of the IEEE Symposium on Logic in Computer Science","author":"VARDI M. Y.","year":"1987"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207729708929473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T08:59:26Z","timestamp":1556614766000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207729708929473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":16,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["10.1080\/00207729708929473"],"URL":"https:\/\/doi.org\/10.1080\/00207729708929473","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"value":"0020-7721","type":"print"},{"value":"1464-5319","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}