State Space Reduction of Linear Processes Using Control Flow Reconstruction
- 1 January 2009
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- State Space Reduction of Linear Processes Using Control Flow ReconstructionLecture Notes in Computer Science, 2009
- Symbolic Reachability for Process Algebras with Recursive Data TypesLecture Notes in Computer Science, 2008
- Model checking a cache coherence protocol of a Java DSM implementationThe Journal of Logic and Algebraic Programming, 2007
- Verification of a sliding window protocol in μ CRL and PVSFormal Aspects of Computing, 2005
- Static Analysis for State-Space Reductions Preserving Temporal LogicsFormal Methods in System Design, 2004
- State Space Reduction by Proving ConfluenceLecture Notes in Computer Science, 2002
- Linearization in parallel pCRLThe Journal of Logic and Algebraic Programming, 2001
- State Space Reduction Using Partial τ-ConfluenceLecture Notes in Computer Science, 2000
- State Space Reduction Based on Live Variables AnalysisLecture Notes in Computer Science, 1999
- Invariants for the construction of a handshake registerInformation Processing Letters, 1998