{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:31Z","timestamp":1761596911989},"reference-count":16,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3619,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s1571-0661(05)80097-0","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"68-83","source":"Crossref","is-referenced-by-count":7,"title":["Compressed and Distributed File Formats for Labeled Transition Systems"],"prefix":"10.1016","volume":"89","author":[{"given":"Stefan","family":"Blom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Izak","family":"van Langevelde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bert","family":"Lisser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80097-0_BIB1","first-page":"250","article-title":"\u03bcCRL: A toolset for analysing algebraic specifications","volume":"2102","author":"Blom","year":"2001"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB2","series-title":"A distributed algorithm for strong bisimulation reduction of state spaces, in: Proceedings of the International Workshop on Parallel and Distributed Model Checking (PDMC 2002), Electronic Notes in Theoretical Computer Science 68","author":"Blom","year":"2002"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB3","series-title":"Local parallel model checking for the alternation-free \u03bc-calculus, in: Proceedings of the 9th International SPIN Workshop on Model Checking of Software (SPIN '02), Lecture Notes in Computer Science 2318","author":"Bollig","year":"2002"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB4","series-title":"Efficient annotated terms, Software \ue4f8 Practice & Experience","first-page":"259","author":"Brand","year":"2000"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB5","series-title":"PVFS: A Parallel File System For Linux Clusters, in: Proceedings of the 4th Annual Linux Showcase and Conference","first-page":"317","author":"Carns","year":"2000"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB6","unstructured":"Fernandez, J.-C., H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier and M. Sighireanu, CADP (C\u00e6sar\/Ald\u00e9baran development package): A protocol validation and verification toolbox, in: R. Alur and T. A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification, Lecture Notes in Computer Science 1102 (1996), pp. 437-440."},{"key":"10.1016\/S1571-0661(05)80097-0_BIB7","unstructured":"Free Software Foundation, http:\/\/www.gnu.org, \u201cGNU's not Unix \ue4f8 the GNU Project and the Free Software Foundation (FSF),\u201d ."},{"key":"10.1016\/S1571-0661(05)80097-0_BIB8","unstructured":"Gailly, J.-I., \u201cThe Gzip home page,\u201d http:\/\/www.gzip.org."},{"key":"10.1016\/S1571-0661(05)80097-0_BIB9","first-page":"217","article-title":"Parallel state space construction for model-checking","volume":"2057","author":"Garavel","year":"2001"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB10","first-page":"453","volume":"44","author":"Gottlieb","year":"1975","journal-title":"A classification of compression methods and their usefulness for a large data processing center"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB11","first-page":"275","article-title":"What are the limits of model checking methods for the verification of real life protocols?","volume":"407","author":"Graf","year":"1990"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0196-6774(85)90036-7","article-title":"Dynamic Huffman coding","volume":"6","author":"Knuth","year":"1985","journal-title":"Journal of Algorithms"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB13","article-title":"A compact file format for labeled transition systems, Technical Report SEN-R0102, CWI, P.O","author":"Langevelde","year":"2001","journal-title":"Box 94079, 1090 GB Amsterdam, The Netherlands"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB14","article-title":"Verification tools from the Concur project","volume":"47","author":"Madelaine","year":"1992","journal-title":"EATCS Bulletin"},{"key":"10.1016\/S1571-0661(05)80097-0_BIB15","unstructured":"Seward, J., \u201cThe BZIP2 and LIBBZIP2 home page,\u201d http:\/\/www.bzip2.com."},{"key":"10.1016\/S1571-0661(05)80097-0_BIB16","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1145\/322344.322346","article-title":"Data compression via textual substitution","volume":"29","author":"Storer","year":"1982","journal-title":"Journal of the ACM"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800970?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105800970?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T08:58:29Z","timestamp":1548493109000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105800970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S1571066105800970"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80097-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}