Compressed and distributed file formats for labeled transition systems

Electronic Notes in Theoretical Computer Science

Volumn 89, Issue 1, 2003, Pages 68-83

  Blom, Stefan ^a   Van Langevelde, Izak ^a   Lisser, Bert ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER TESTING; DATA COMPRESSION; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); RELIABILITY;

DISTRIBUTED FILE FORMATS; DISTRIBUTED TOOLS; LABELED TRANSITION SYSTEMS; MODEL CHECKING;

DISTRIBUTED DATABASE SYSTEMS;

EID: 18944392952     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80097-0     Document Type: Conference Paper

References (16)

1. Blom S.C.C., Fokkink W.J., Groote J.F., Langevelde I.A.v., Lisser B., Pol J.C.v.d. m̈CRL: A toolset for analysing algebraic specifications. Berry G., Comon H., Finkel A. omputer Aided Verification (CAV 2001), Incs. 2102:2001;250-254
2. Blom S.C.C., Orzan S.M. 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. 2002
3. Bollig B., Leucker M., Weber M. Local parallel model checking for the alternation-free m̈-calculus, in: Proceedings of the 9th International SPIN Workshop on Model Checking of Software (SPIN '02), Lecture Notes in Computer Science 2318. 2002
4. Brand M.G.J.v.d., Jong H.A.d., Klint P., Olivier P.A. Efficient annotated terms, Software - Practice & Experience. 2000;259-291
5. Carns P.H., W.B.L. III, Ross R.B., Thakur R. PVFS: A Parallel File System For Linux Clusters, in: Proceedings of the 4th Annual Linux Showcase and Conference. 2000;317-327
6. Fernandez, J.-C., H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier and M. Sighireanu, CADP (C4aesar/Aldébaran 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.
7. Free Software Foundation, http://www.gnu.org, "GNU's not Unix - the GNU Project and the Free Software Foundation (FSF),".
8. Gailly, J.-I., "The Gzip home page," http://www.gzip.org.
9. Garavel H., Mateescu R., Smarandache I. Parallel state space construction for model-checking. Dwyer M.B. roceedings of the 8th International SPIN Workshop on Model Checking of Software SPIN'2001, LNCS. 2057:2001;217-234
10. Gottlieb D., Hagerth S.A., Lehot P.G.H., Rabinowitz H.S. A classification of compression methods and their usefulness for a large data processing center. 44:1975;453-458
11. Graf S., Richier J.-L., Rodriguez C., Voiron J. What are the limits of model checking methods for the verification of real life protocols? Sifakis J. utomatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science. 407:1990;275-285
12. Knuth D.E. Dynamic Huffman coding. Journal of Algorithms. 6:1985;163-180
13. Langevelde I.A.v. A compact file format for labeled transition systems, Technical Report SEN-R0102, CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands. 2001
14. Madelaine E. Verification tools from the Concur project. EATCS Bulletin. 47:1992
15. Seward, J., "The bzip2 and libbzip2 home page," http://www.bzip2.com.
16. Storer J., Szymanski T. Data compression via textual substitution. Journal of the ACM. 29:1982;928-951