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 générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0955-792X
info:doi/10.1093/logcom/exu018
info:scp/84942100224