{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T08:35:09Z","timestamp":1648974909470},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1016\/0140-3664(92)90130-7","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T22:34:07Z","timestamp":1060295647000},"page":"103-113","source":"Crossref","is-referenced-by-count":5,"title":["Modelling open distributed systems in Z"],"prefix":"10.1016","volume":"15","author":[{"given":"Phil","family":"Stocks","sequence":"first","affiliation":[]},{"given":"Kerry","family":"Raymond","sequence":"additional","affiliation":[]},{"given":"David","family":"Carrington","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Lister","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0140-3664(92)90130-7_BIB1","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1989"},{"key":"10.1016\/0140-3664(92)90130-7_BIB2","series-title":"Working Document on Topic 6.2 \u2014 Formalisms and Specifications","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB3","series-title":"[Recommendation X.9zz: \u2014 Basic Reference Model of Open Distributed Processing \u2014 Part 5:] Architectural Semantics, Specification Techniques and Formalisms","year":"1991"},{"key":"10.1016\/0140-3664(92)90130-7_BIB4","article-title":"The Object-Z specification language version 1","author":"Duke","year":"1991"},{"key":"10.1016\/0140-3664(92)90130-7_BIB5","series-title":"Working Document on Topic 6.2 \u2014 Formalisms and Specifications","year":"1989"},{"key":"10.1016\/0140-3664(92)90130-7_BIB6","series-title":"Working Document on Topic 8.1 \u2014 Draft Basic Reference Model of Open Distributed Processing \u2014 Part II","year":"1989"},{"key":"10.1016\/0140-3664(92)90130-7_BIB7","series-title":"Working Document on Topic 6.1 \u2014 Modelling Techniques and their use in ODP","year":"1989"},{"key":"10.1016\/0140-3664(92)90130-7_BIB8","series-title":"Understanding Z: A Specification Language and its Formal Semantics","author":"Spivey","year":"1988"},{"key":"10.1016\/0140-3664(92)90130-7_BIB9","series-title":"Specification Case Studies","year":"1987"},{"issue":"No 1","key":"10.1016\/0140-3664(92)90130-7_BIB10","first-page":"88","article-title":"A comparison of LOTOS and Z for specifying distributed systems","volume":"Vol 12","author":"Fogg","year":"1990","journal-title":"Australian Comput. Sci. Commun."},{"key":"10.1016\/0140-3664(92)90130-7_BIB11","series-title":"ODP case studies: Z specifications","author":"Stocks","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB12","series-title":"Programming Languages","article-title":"Cooperating sequential processes","author":"Dijkstra","year":"1968"},{"key":"10.1016\/0140-3664(92)90130-7_BIB13","first-page":"62","article-title":"Temporal logic and Z specifications","author":"Duke","year":"1989","journal-title":"Australian Comput. J."},{"key":"10.1016\/0140-3664(92)90130-7_BIB14","article-title":"Using Z to specify distributed systems","author":"Raymond","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB15","article-title":"Representing distributed system concepts in Z","author":"Stocks","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB16","series-title":"Executing Temporal Logic Programs","author":"Moszkowski","year":"1986"},{"issue":"No 7","key":"10.1016\/0140-3664(92)90130-7_BIB17","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, clocks, and the ordering of events in a distributed system","volume":"Vol 21","author":"Lamport","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/0140-3664(92)90130-7_BIB18","series-title":"On the Construction of Programs: An Advanced Course","first-page":"343","article-title":"Specification language","author":"Abrial","year":"1980"},{"key":"10.1016\/0140-3664(92)90130-7_BIB19","series-title":"Z: An Introduction to Formal Methods","author":"Diller","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB20","series-title":"Software Engineering Mathematics","author":"Woodcock","year":"1988"},{"key":"10.1016\/0140-3664(92)90130-7_BIB21","article-title":"The use of software engineering, including the Z notation in the development of CICS","author":"Nix","year":"1989"},{"key":"10.1016\/0140-3664(92)90130-7_BIB22","series-title":"Protocol Specification, Testing, and Verification VIII","first-page":"33","article-title":"Protocol verification and specification using Z","author":"Duke","year":"1988"},{"key":"10.1016\/0140-3664(92)90130-7_BIB23","series-title":"Protocol Specification, Testing, and Verification IX","article-title":"Signalling system no. 7: the network layer","author":"Hayes","year":"1989"},{"key":"10.1016\/0140-3664(92)90130-7_BIB24","series-title":"VDM'90:VDM and Z!, Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-52513-0_10","article-title":"Z and the refinement calculus","author":"King","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB25","series-title":"Australian Softw. Eng. Conf.","first-page":"87","article-title":"Refining Z specifications to programs","author":"Robinson","year":"1987"},{"key":"10.1016\/0140-3664(92)90130-7_BIB26","series-title":"Programming from Specifications","author":"Morgan","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB27","series-title":"Formal Description Techniques (FORTE'89)","first-page":"401","article-title":"Object-Z: an object-oriented extension to Z","author":"Carrington","year":"1990"},{"key":"10.1016\/0140-3664(92)90130-7_BIB28","series-title":"Program Specification and Transformation","first-page":"313","article-title":"Object-oriented subsystem specification","author":"Schuman","year":"1985"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366492901307?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366492901307?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:51:46Z","timestamp":1552639906000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0140366492901307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["0140366492901307"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(92)90130-7","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}