4397 search results - page 223 / 880 » Relational Algebra Operations |
113
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
156
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
105
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper the propagation of information about fault states and its implementation in high-speed networks is discussed. The algebraic concept of a lattice partial ordered set ...
153
click to vote
AIML
2006
15 years 5 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
124
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
Intuitionistic Fuzzy Sets (IFS) are defined as pairs of mutually orthogonal fuzzy sets. We discuss this approach from an algebraic point of view. As a result we characterize two ...