AbstractThis paper contains a novel approach to observational equivalence for coalgebras. We describe how to define weak homomorphisms, weak bisimulation, and investigate the connection between them as well as the relation to the known theory of bisimulation for coalgebras. The ultimate result of the paper is the correctness-proof for a weak coinduction proof principle
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
AbstractIn [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgeb...
AbstractThe bisimulation “up-to-…” technique provides an effective way to relieve the amount of work...
AbstractThis paper contains a novel approach to observational equivalence for coalgebras. We describ...
AbstractIn [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgeb...
AbstractWe propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained ...
AbstractIn our paper [RM02a] we describe an approach to weak bisimulation for coalgebras and show th...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
AbstractWe propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained ...
We propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained from bif...
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
AbstractIn [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgeb...
AbstractThe bisimulation “up-to-…” technique provides an effective way to relieve the amount of work...
AbstractThis paper contains a novel approach to observational equivalence for coalgebras. We describ...
AbstractIn [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgeb...
AbstractWe propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained ...
AbstractIn our paper [RM02a] we describe an approach to weak bisimulation for coalgebras and show th...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
AbstractWe propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained ...
We propose a coalgebraic definition of weak bisimulation for a class of coalgebras obtained from bif...
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof...
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bif...
AbstractIn [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgeb...
AbstractThe bisimulation “up-to-…” technique provides an effective way to relieve the amount of work...
DOI
Add to ORKG