scientific article; zbMATH DE number 4022620
From MaRDI portal
Publication:3765231
Recommendations
- A compositional protocol verification using relativized bisimulation
- scientific article; zbMATH DE number 1361141
- Bisimulation verification using the up to techniques
- Deriving bisimulation relations from path based equivalence checkers
- On the proof method for bisimulation
- A rewriting strategy for protocol verification
- Compositional verification of concurrent systems by combining bisimulations
- Verification of dynamic bisimulation theorems in Coq
Cited in
(15)- scientific article; zbMATH DE number 2102719 (Why is no real title available?)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- scientific article; zbMATH DE number 1956518 (Why is no real title available?)
- Modular specification of process algebras
- An algebraic verification of a mobile network
- SAT-based verification for timed component connectors
- scientific article; zbMATH DE number 2038740 (Why is no real title available?)
- Using probabilistic Kleene algebra pKA for protocol verification
- scientific article; zbMATH DE number 4060694 (Why is no real title available?)
- Partial specifications and compositional verification
- Protocol Verification via Projections
- A compositional protocol verification using relativized bisimulation
- From data structure to process structure
- Fair testing
- Deciding bisimulation equivalences for a class of non-finite-state programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3765231)
