scientific article; zbMATH DE number 1905121
From MaRDI portal
Publication:4806211
zbMath1010.68527MaRDI QIDQ4806211
Publication date: 21 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theorem provingconfluencelabeled transition systemsbranching bisimulationpartial order reductionsymbolic transformation\(\mu\)CRL tool seton-the-fly state space reduction
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Cones and foci: A mechanical framework for protocol verification ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Sequential and distributed on-the-fly computation of weak tau-confluence ⋮ A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time ⋮ Confluence Reduction for Probabilistic Systems ⋮ Confluence reduction for Markov automata ⋮ Zero, successor and equality in BDDs ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ State Space Reduction of Linear Processes Using Control Flow Reconstruction ⋮ Compositional State Space Reduction Using Untangled Actions
Uses Software
This page was built for publication: