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