mCRL
From MaRDI portal
MCRL
Cited in
(46)- Sylvan
- SIGREF
- mCRL2
- Truth/SLC
- BISIMULATOR
- M-TREE
- ATERM
- CADP
- Zero, successor and equality in BDDs
- Generation of abstract programming interfaces from syntax definitions
- APNN-Toolbox
- LTSmin
- STG
- iFEST
- VLTS Benchmark Suite
- TVT
- JITty
- ASF+SDF
- Model checking mobile ad hoc networks
- fc2tools
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Generalizing DPLL and satisfiability for equalities
- Concurrency Workbench
- Multiparty contract signing over a reliable network
- Analysing sanity of requirements for avionics systems
- Branching bisimulation games
- A database approach to distributed state space generation
- An account of implementing applicative term rewriting
- Keeping secrets in resource aware components
- Mec 5
- ACTLW
- VERSA
- Murphi
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Thread algebra for noninterference
- AODV
- wRebeca
- Castor
- scientific article; zbMATH DE number 1905121 (Why is no real title available?)
- From CRL to mCRL2: motivation and outline
- Discretization of timed automata in timed CRL à la regions and zones
- Derivation tree analysis for accelerated fixed-point computation
- Extended beam search for non-exhaustive state space analysis
- Cones and foci: A mechanical framework for protocol verification
- An abstract interpretation toolkit for CRL
- Lifting non-finite axiomatizability results to extensions of process algebras
This page was built for software: mCRL
