Introduction to bisimulation and coinduction
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Bisimulation indexes and their applications
- Virtually timed ambients: a calculus of nested virtualization
- A formalisation of consistent consequence for Boolean equation systems
- (Co)inductive proof systems for compositional proofs in reachability logic
- The \(C_\pi\)-calculus: a model for confidential name passing
- A logical and graphical framework for reaction systems
- Transactions and contracts based on reaction systems
- Processes against tests: on defining contextual equivalences
- On bidirectional runtime enforcement
- Coupled similarity: the first 32 years
- Team equivalences for finite-state machines with silent moves
- Unique solutions of contractions, CCS, and their HOL formalisation
- A constraint-based language for multiparty interactions
- Team bisimilarity, and its associated modal logic, for BPP nets
- Fixpoint theory -- upside down
- Limited approximate bisimulations and the corresponding rough approximations
- A characterization of Moessner's sieve
- Bisimulation and coinduction enhancements: a historical perspective
- Models and emerging trends of concurrent constraint programming
- Verification of finite-state machines: a distributed approach
- Depletable channels: dynamics, behaviour, and efficiency in network design
- SOS rule formats for idempotent terms and idempotent unary operators
- Fairness and communication-based semantics for session-typed languages
- Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)
- Probabilistic operational semantics for the lambda calculus
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
- Weak bisimulation as a congruence in MSOS
- Behavioural equivalences for timed systems
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- scientific article; zbMATH DE number 6115908 (Why is no real title available?)
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Distributed modal logic
- How to reason coinductively informally
- Unique solutions of contractions, CCS, and their HOL formalisation
- Structural congruence for bialgebraic semantics
- Applicative bisimulation and quantum -calculi
- Relational properties of sequential composition of coalgebras
- scientific article; zbMATH DE number 1330138 (Why is no real title available?)
- Trees from functions as processes
- Productive corecursion in logic programming
- Lattice-valued simulations for quantitative transition systems
- Impossibility of gathering, a certification
- A note on Coinduction and Weak Bisimilarity for While Programs
- On runtime enforcement via suppressions
- scientific article; zbMATH DE number 7453165 (Why is no real title available?)
- scientific article; zbMATH DE number 7453964 (Why is no real title available?)
- Foundations of regular coinduction
- A coalgebraic take on regular and -regular behaviours
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
- A generic framework for symbolic execution: a coinductive approach
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Polymorphic higher-order termination
- scientific article; zbMATH DE number 7559481 (Why is no real title available?)
- Parameterizing higher-order processes on names and processes
- A language-independent proof system for full program equivalence
- A new coinductive confluence proof for infinitary lambda calculus
- Consistently-detecting monitors
- Flag-based big-step semantics
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- Reversibility and Predictions
- Deciding the bisimilarity of context-free session types
- Simulation of action theories and an application to general game-playing robots
- scientific article; zbMATH DE number 7168147 (Why is no real title available?)
- A general account of coinduction up-to
- Bisimulation and co-induction: some problems
- Abstraction in fixpoint logic
- Enhanced coalgebraic bisimulation
- Practical coinduction
- Origins of bisimulation and coinduction
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- scientific article; zbMATH DE number 7649963 (Why is no real title available?)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
- Precise Subtyping for Asynchronous Multiparty Sessions
- Synchronous gathering without multiplicity detection: a certified algorithm
- Translation of CCS into CSP, correct up to strong bisimulation
- On first-order runtime enforcement of branching-time properties
- From infinity to choreographies. Extraction for unbounded systems
- Asynchronous correspondences between hybrid trajectory semantics
- Branching Pomsets for Choreographies
- Classical (co)recursion: Mechanics
- Fixpoint Theory -- Upside Down
- A Spatial Logic for Simplicial Models
- The different shades of infinite session types
- THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
- From CCS to CSP: the m-among-n synchronisation approach
- A monoidal view on fixpoint checks
- Refinements for open automata
- Structure in machine learning
- Characterizing contrasimilarity through games, modal logic, and complexity
- Formal definitions and proofs for partial (co)recursive functions
- Processes, systems \& tests: defining contextual equivalences
- Positive Hennessy-Milner logic for branching bisimulation
- Generalization-based similarity
- Encoding choice and replication in \(\mathbf{roll}\text{-}\pi \)
- Choice trees: representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
- Subtyping context-free session types
- An algebraic theory of nondeterministic finite automata
- Crash-stop failures in asynchronous multiparty session types
- Some techniques for reasoning automatically on co-inductive data structures
- Less is more revisited: association with global protocols and multiparty sessions
This page was built for publication: Introduction to bisimulation and coinduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3118994)
