AbstractBisimulation and co-induction are one of the most important contributions to Computer Science that stem from the work on algebraic process calculi. In this note, we review a few outstanding problems that concern bisimulation and co-induction
Abstract. Bisimilarity of two processes is formally established by producing a bisimulation relation...
AbstractAhigher-order process calculusis a calculus for communicating systems which contains higher-...
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof...
AbstractBisimulation and co-induction are one of the most important contributions to Computer Scienc...
Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning...
International audienceInduction is a pervasive tool in computer science and mathematics for defining...
Part 1: Invited ContributionsInternational audienceA few forms of bisimulation and of coinductive te...
Bisimulation is an instance of coinduction. Both bisimulation and coinduction are today widely used,...
International audienceBisimilarity of two processes is formally established by producing a bisimulat...
International audienceCoinduction is a method for specifying and reasoning about infinite data types...
There exist a rich and well-developed theory of enhancements of the coinduction proof method, widely...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
Abstract. Bisimilarity of two processes is formally established by producing a bisimulation relation...
AbstractAhigher-order process calculusis a calculus for communicating systems which contains higher-...
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof...
AbstractBisimulation and co-induction are one of the most important contributions to Computer Scienc...
Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning...
International audienceInduction is a pervasive tool in computer science and mathematics for defining...
Part 1: Invited ContributionsInternational audienceA few forms of bisimulation and of coinductive te...
Bisimulation is an instance of coinduction. Both bisimulation and coinduction are today widely used,...
International audienceBisimilarity of two processes is formally established by producing a bisimulat...
International audienceCoinduction is a method for specifying and reasoning about infinite data types...
There exist a rich and well-developed theory of enhancements of the coinduction proof method, widely...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
Abstract. Bisimilarity of two processes is formally established by producing a bisimulation relation...
AbstractAhigher-order process calculusis a calculus for communicating systems which contains higher-...
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof...
DOI
Add to ORKG