Compressed and Distributed File Formats for Labeled Transition Systems-Reference-Cited by-同舟云学术

Compressed and Distributed File Formats for Labeled Transition Systems

Published:2003-09 Issue:1 Volume:89 Page:68-83
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Blom Stefan,van Langevelde Izak,Lisser Bert

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference16 articles.

1. μCRL: A toolset for analysing algebraic specifications;Blom,2001

2. 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;Blom,2002

3. Local parallel model checking for the alternation-free μ-calculus, in: Proceedings of the 9th International SPIN Workshop on Model Checking of Software (SPIN '02), Lecture Notes in Computer Science 2318;Bollig,2002

4. Efficient annotated terms, Software  Practice & Experience;Brand,2000

5. PVFS: A Parallel File System For Linux Clusters, in: Proceedings of the 4th Annual Linux Showcase and Conference;Carns,2000

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parallel Recursive State Compression for Free;Model Checking Software;2011

2. A High-Level Framework for Distributed Processing of Large-Scale Graphs;Distributed Computing and Networking;2011

3. Solving scheduling problems by untimed model checking;International Journal on Software Tools for Technology Transfer;2009-03-19

4. A Database Approach to Distributed State-Space Generation;Journal of Logic and Computation;2009-03-05

5. Model checking a cache coherence protocol of a Java DSM implementation;The Journal of Logic and Algebraic Programming;2007-03