On the bisimulation proof method
From MaRDI portal
Publication:4236205
Recommendations
Cited in
(65)- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- Coinduction in Flow: The Later Modality in Fibrations
- Characteristic formulae for liveness properties of non-terminating CakeML programs
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras
- Up-to techniques for behavioural metrics via fibrations
- Preorder-constrained simulations for program refinement with effects
- New up-to techniques for weak bisimulation
- Concise graphs and functional bisimulations
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus
- A process calculus for mobile ad hoc networks
- Linear forwarders
- An effective coalgebraic bisimulation proof method
- Parameterizing higher-order processes on names and processes
- On parameterization of higher-order processes
- A hierarchy of equivalences for asynchronous calculi
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- Generalised coinduction
- Distinguishing and relating higher-order and first-order processes by expressiveness
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
- Some congruence properties for \(\pi\)-calculus bisimilarities
- A bisimulation-based method for proving the validity of equations in GSOS languages
- Tower induction and up-to techniques for CCS with fixed points
- CoCon: a conference management system with formally verified document confidentiality
- Locality and interleaving semantics in calculi for mobile processes
- Diacritical companions
- scientific article; zbMATH DE number 7407797 (Why is no real title available?)
- SPEC: an equivalence checker for security protocols
- Bisimulation and coinduction enhancements: a historical perspective
- scientific article; zbMATH DE number 7471695 (Why is no real title available?)
- Complete Lattices and Up-To Techniques
- scientific article; zbMATH DE number 2038740 (Why is no real title available?)
- Higher-order psi-calculi
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity
- Proving language inclusion and equivalence by coinduction
- A Testing Theory for a Higher-Order Cryptographic Language
- scientific article; zbMATH DE number 7566077 (Why is no real title available?)
- (Bi)simulations up-to characterise process semantics
- On the observational theory of the CPS-calculus
- Extracting proofs from tabled proof search
- Processes as formal power series: a coinductive approach to denotational semantics
- A symbolic decision procedure for symbolic alternating finite automata
- Enhanced coalgebraic bisimulation
- Higher-order processes with parameterization over names and processes
- Corecursion up-to via causal transformations
- Encoding Asynchronous Interactions Using Open Petri Nets
- Bisimulation and co-induction: some problems
- A general account of coinduction up-to
- GSOS for probabilistic transition systems (extended abstract)
- Using bisimulation proof techniques for the analysis of distributed abstract machines
- scientific article; zbMATH DE number 177532 (Why is no real title available?)
- The largest respectful function
- scientific article; zbMATH DE number 7649887 (Why is no real title available?)
- Structural congruence for bialgebraic semantics
- Enhancements of the bisimulation proof method
- Up-to techniques for behavioural metrics via fibrations
- Algorithms for Kleene algebra with converse
- Companions, codensity and causality
- Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts
- Process calculus based upon evaluation to committed form
- Metric reasoning about \(\lambda\)-terms: the general case
- Bisimulations for delimited-control operators
- Bisimulation is two-way simulation
- A fully abstract model for the \(\pi\)-calculus.
- Simulations up-to and canonical preorders (extended abstract)
- Elements of stream calculus (an extensive exercise in coinduction)
This page was built for publication: On the bisimulation proof method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236205)
