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
Co-induction is an important tool for reasoning about unbounded structures. This tutorial explains t...
International audienceThe origins of bisimulation and bisimilarity are examined, in the three fields...
The origins of the notions of bisimulation and coinduction are traced back to different fields, nota...
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...
International audienceCoinduction is a method for specifying and reasoning about infinite data types...
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...
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...
Co-induction is an important tool for reasoning about unbounded structures. This tutorial explains t...
International audienceThe origins of bisimulation and bisimilarity are examined, in the three fields...
The origins of the notions of bisimulation and coinduction are traced back to different fields, nota...
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...
International audienceCoinduction is a method for specifying and reasoning about infinite data types...
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...
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...
Co-induction is an important tool for reasoning about unbounded structures. This tutorial explains t...
International audienceThe origins of bisimulation and bisimilarity are examined, in the three fields...
The origins of the notions of bisimulation and coinduction are traced back to different fields, nota...
DOI
Add to ORKG