scientific article; zbMATH DE number 4022620
From MaRDI portal
Publication:3765231
zbMATH Open0628.68022MaRDI QIDQ3765231FDOQ3765231
Authors: Kim G. Larsen, Robin Milner 
Publication date: 1987
Title of this publication is not available (Why is that?)
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
verificationconcurrencybisimulationcorrectnesscommunicating systemsAlternating Bit Protocolcompositional proof method
Cited In (15)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Modular specification of process algebras
- An algebraic verification of a mobile network
- Title not available (Why is that?)
- SAT-based verification for timed component connectors
- Using probabilistic Kleene algebra pKA for protocol verification
- Title not available (Why is that?)
- Partial specifications and compositional verification
- Protocol Verification via Projections
- From data structure to process structure
- A compositional protocol verification using relativized bisimulation
- Deciding bisimulation equivalences for a class of non-finite-state programs
- Fair testing
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)
