{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:20Z","timestamp":1761596780489,"version":"build-2065373602"},"reference-count":19,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3827,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["The Journal of Logic and Algebraic Programming"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1016\/s1567-8326(02)00038-3","type":"journal-article","created":{"date-parts":[[2003,1,17]],"date-time":"2003-01-17T13:39:55Z","timestamp":1042810795000},"page":"21-56","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":21,"title":["Analysis of a distributed system for lifting trucks"],"prefix":"10.1016","volume":"55","author":[{"given":"J.F","family":"Groote","sequence":"first","affiliation":[]},{"given":"J","family":"Pang","sequence":"additional","affiliation":[]},{"given":"A.G","family":"Wouters","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1567-8326(02)00038-3_BIB1","series-title":"Formal Methods Europe\u201996, Oxford","first-page":"465","article-title":"Model checking in practice: an analysis of the access. bus protocol using spin","volume":"vol. 1051","author":"Boigelot","year":"1996"},{"volume":"vol. 18","year":"1990","author":"Baeten","key":"10.1016\/S1567-8326(02)00038-3_BIB2"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB3","series-title":"Proceedings of the 11th International Symposium on Computer Hardware Description Languages and their Applications","article-title":"Verification of the futurebus+ cache coherence protocol","author":"Clarke","year":"1993"},{"year":"2000","series-title":"Model Checking","author":"Clarke","key":"10.1016\/S1567-8326(02)00038-3_BIB4"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB5","series-title":"Proceedings of the 8th Conference on Computer-Aided Verification","first-page":"437","article-title":"CADP \u2013 a protocol validation and verification toolbox","volume":"vol. 1102","author":"Fernandez","year":"1997"},{"year":"2000","series-title":"Introduction to Process Algebra. Texts in Theoretical Computer Science","author":"Fokkink","key":"10.1016\/S1567-8326(02)00038-3_BIB6"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB7","unstructured":"J.F. Groote, B. Lisser, Computer assisted manipulation of algebraic process specifications, Technical Report SEN-R0117, CWI, Amsterdam, 2001"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB8","series-title":"Algebra of Communicating Processes \u201994, Workshops in Computing Series","first-page":"26","article-title":"The syntax and semantics of \u03bcCRL","author":"Groote","year":"1995"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB9","unstructured":"J.F. Groote, J. Pang, A.G. Wouters, A balancing act: analyzing a distributed lift system in: S. Griegi, U. Ultes-Nitgche (Eds.), Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems FMICS\u20192001, pp. 1\u201312. (The extended version also appeared as CWI technical report SEN-R0111, 2001.)"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB10","series-title":"Proceedings of CONCUR\u201995","first-page":"204","article-title":"Confluence for process verification","volume":"vol. 962","author":"Groote","year":"1995"},{"issue":"1\u20132","key":"10.1016\/S1567-8326(02)00038-3_BIB11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0304-3975(96)80702-X","article-title":"Confluence for process verification","volume":"170","author":"Groote","year":"1996","journal-title":"Theoretical computer science (Logic, semantics and theory of programming)"},{"issue":"1\u20132","key":"10.1016\/S1567-8326(02)00038-3_BIB12","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1016\/S0304-3975(00)00324-8","article-title":"The parallel composition of uniform processes with data","volume":"266","author":"Groote","year":"2001","journal-title":"Theoretical Computer Science"},{"year":"1996","series-title":"Specification of Abstract Data Types","author":"Loeckx","key":"10.1016\/S1567-8326(02)00038-3_BIB13"},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/S1567-8326(02)00038-3_BIB14"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB15","series-title":"Proceedings of the 5th International Workshop on Formal Methods for Industrial Critical Systems FMICS\u20192000, Berlin, Germany","article-title":"Efficient on-the-fly model-cheching for regular alternation-free mu-calculus","author":"Mateescu","year":"2000"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB16","series-title":"Computer Aided Verification","first-page":"194","article-title":"Modeling and verification of a real life protocol using symbolic model checking","volume":"vol. 818","author":"Naik","year":"1994"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB17","unstructured":"Robert Bosch Gmbh, Postfach 30 02 40, D-70442 Stuttgart, Germany, CAN Specification, Version 2.0, 1991"},{"year":"1998","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","key":"10.1016\/S1567-8326(02)00038-3_BIB18"},{"key":"10.1016\/S1567-8326(02)00038-3_BIB19","unstructured":"A.G. Wouters, Manual for the \u03bcCRL toolset, Technical Report SEN-R0130, CWI, Amsterdam, 2001"}],"container-title":["The Journal of Logic and Algebraic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832602000383?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832602000383?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T18:33:37Z","timestamp":1761590017000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1567832602000383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S1567832602000383"],"URL":"https:\/\/doi.org\/10.1016\/s1567-8326(02)00038-3","relation":{},"ISSN":["1567-8326"],"issn-type":[{"type":"print","value":"1567-8326"}],"subject":[],"published":{"date-parts":[[2003,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Analysis of a distributed system for lifting trucks","name":"articletitle","label":"Article Title"},{"value":"The Journal of Logic and Algebraic Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1567-8326(02)00038-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}