4485 search results - page 40 / 897 » Equivalences on Observable Processes |
ENTCS
2008
14 years 10 months ago
2008
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
167
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...
ICALP
1999
Springer
15 years 2 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
WCRE
1995
IEEE
15 years 1 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
100
click to vote
ESEM
2010
ACM
14 years 10 months ago
2010
ACM
Though very important in software engineering, linking artifacts of the same type (clone detection) or of different types (traceability recovery) is extremely tedious, error-prone...