A relational division operator: the conjugate kernel

Authors:
Jules Desharnais;Ali Jaoua;Fatma Mili;Noureddine Boudriga;Ali Mili
Affiliations:
Univ. Laval, P.Q., Canada;Univ. Laval, P.Q., Canada;Oakland Univ., Rochester, MI;Univ. de Tunis II, Belve´de`re, Tunisia;Univ. de Tunis II, Belve´de`re, Tunisia
Venue:
Theoretical Computer Science
Year:
1993

Defining and Applying Measures of Distance Between Specifications

IEEE Transactions on Software Engineering
Relational characterizations of system fault tolerance

Science of Computer Programming
Demonic fuzzy operators

NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Demonic fuzzy operators

WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops

ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers

Hi-index	5.23