{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T00:12:26Z","timestamp":1759104746755,"version":"3.44.0"},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5252,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1016\/s0167-6423(98)00017-3","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:52:44Z","timestamp":1051127564000},"page":"261-298","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"title":["Strategies for consistency checking based on unification"],"prefix":"10.1016","volume":"33","author":[{"given":"H.","family":"Bowman","sequence":"first","affiliation":[]},{"given":"E.A.","family":"Boiten","sequence":"additional","affiliation":[]},{"given":"J.","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"M.W.A.","family":"Steen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0167-6423(98)00017-3_BIB1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","article-title":"Viewpoint specification and Z","volume":"36","author":"Ainsworth","year":"1994","journal-title":"Inform. Software Technol."},{"article-title":"Cross viewpoint consistency in Open Distributed Processing (intra language consistency)","year":"1995","author":"Boiten","key":"10.1016\/S0167-6423(98)00017-3_BIB2"},{"issue":"1","key":"10.1016\/S0167-6423(98)00017-3_BIB3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO Specification Language LOTOS","volume":"14","author":"Bolognesi","year":"1988","journal-title":"Computer Networks ISDN Systems"},{"article-title":"Strategies for consistency checking","year":"1995","author":"Bowman","key":"10.1016\/S0167-6423(98)00017-3_BIB4"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB5","series-title":"Proc. 1st IFIP Internat. Workshop on Formal Methods for Open Object-based Distributed Systems","first-page":"189","article-title":"Viewpoint consistency in ODP, a general interpretation","author":"Bowman","year":"1996"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB6","series-title":"FMOODS'97, 2nd IFIP Conf. on Formal Methods for Open Object Based Distributed Systems","article-title":"On behavioural subtyping in LOTOS","author":"Bowman","year":"1997"},{"issue":"1","key":"10.1016\/S0167-6423(98)00017-3_BIB7","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1049\/sej.1996.0005","article-title":"Cross viewpoint consistency in Open Distributed Processing","volume":"11","author":"Bowman","year":"1996","journal-title":"IEE Software Engrg. J."},{"key":"10.1016\/S0167-6423(98)00017-3_BIB8","series-title":"IFTP TC6 Internat. Conf. on Open Distributed Processing","first-page":"399","article-title":"Some results on cross viewpoint consistency checking","author":"Bowman","year":"1995"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB9","unstructured":"H. Bowman, M.W.A. Steen, E.A. Boiten, J. Derrick, A formal framework for viewpoint consistency, Tech. Report, submitted."},{"article-title":"Formal notions of implementation and conformance in LOTOS","year":"1986","author":"Brinksma","key":"10.1016\/S0167-6423(98)00017-3_BIB10"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB11","first-page":"349","article-title":"Process specification, their implementation and their tests","volume":"VI","author":"Brinksma","year":"1986"},{"issue":"3","key":"10.1016\/S0167-6423(98)00017-3_BIB12","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","article-title":"A theory of Communicating Sequential Processes","volume":"31","author":"Brookes","year":"1984","journal-title":"J. ACM"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB13","series-title":"Pittsburgh Symposium on Concurrency","first-page":"281","article-title":"An improved failures model for communicating processes","volume":"Vol. 197","author":"Brookes","year":"1985"},{"year":"1993","key":"10.1016\/S0167-6423(98)00017-3_BIB14"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB15","series-title":"FORTE\/PSTV XVII'97","article-title":"Friendly testing as a conformance relation","author":"de Frutos-Escrig","year":"1997"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB16","series-title":"Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing","article-title":"Translating LOTOS to Object-Z","author":"Derrick","year":"1997"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB17","series-title":"IFIP TC6 Internat. Conf. on Open Distributed Processing","first-page":"413","article-title":"Maintaining cross viewpoint consistency using Z","author":"Derrick","year":"1995"},{"issue":"3","key":"10.1016\/S0167-6423(98)00017-3_BIB18","article-title":"Coordinating distributed ViewPoints: The anatomy of a consistency check, Concurrent Engrg","volume":"2","author":"Easterbrook","year":"1994","journal-title":"Res. Appl."},{"key":"10.1016\/S0167-6423(98)00017-3_BIB19","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01212304","article-title":"Temporal theories as modularisation units for concurrent system specification","volume":"4","author":"Fiadeiro","year":"1992","journal-title":"Formal Aspecpts Comput."},{"key":"10.1016\/S0167-6423(98)00017-3_BIB20","series-title":"Proc. Logics of Programming Workshop","first-page":"221","article-title":"Introducing institutions","volume":"Vol. 164","author":"Goguen","year":"1984"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB21","first-page":"187","article-title":"Data refinement refined","volume":"Vol. 213","author":"Jifeng","year":"1986"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB22","series-title":"FORTE\/PSTV XVII'97","article-title":"Refusal testing for classes of transition systems with inputs and outputs","author":"Heerink","year":"1997"},{"article-title":"On the role of implementation relations in the design of distributed systems using LOTOS","year":"1991","author":"Leduc","key":"10.1016\/S0167-6423(98)00017-3_BIB23"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","article-title":"A framework based on implementation relations for implementing LOTOS specifications","volume":"25","author":"Leduc","year":"1992","journal-title":"Comput. Networks ISDN Systems"},{"year":"1984","series-title":"The Foundations of Program Verification","author":"Loeckx","key":"10.1016\/S0167-6423(98)00017-3_BIB25"},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/S0167-6423(98)00017-3_BIB26"},{"year":"1991","series-title":"An Introduction to Formal Specification and Z","author":"Potter","key":"10.1016\/S0167-6423(98)00017-3_BIB27"},{"year":"1989","series-title":"Software Engineering","author":"Sommerville","key":"10.1016\/S0167-6423(98)00017-3_BIB28"},{"key":"10.1016\/S0167-6423(98)00017-3_BIB29","first-page":"73","article-title":"Composition of LOTOS specifications","volume":"XV","author":"Steen","year":"1995"},{"year":"1996","series-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock","key":"10.1016\/S0167-6423(98)00017-3_BIB30"},{"issue":"4","key":"10.1016\/S0167-6423(98)00017-3_BIB31","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/158431.158438","article-title":"Conjunction as composition","volume":"2","author":"Zave","year":"1993","journal-title":"ACM Trans. Software Engrg. Methodology"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642398000173?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642398000173?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T22:45:19Z","timestamp":1759099519000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642398000173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["S0167642398000173"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(98)00017-3","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[1999,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Strategies for consistency checking based on unification","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0167-6423(98)00017-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1999 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}