Titre :
  • Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
Auteur : Fletcher, George ; Gyssens, Marc ; Leinders, Dirk ; Van den Bussche, Jan ; Van Gucht, Dirk ; Vansummeren, Stijn
Informations sur la publication : Journal of logic and computation, 25, 3, (page 549-580)
Statut de publication : Publié, 2015
Sujet CREF : Informatique générale
Informatique mathématique
Mots-clés : Bisimulation
Calculus of relations
Coprojection
Indistinguishability
Residuation
Simulation
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0955-792X 
info:doi/10.1093/logcom/exu018