FOSSACS
13 years 11 months ago
2004 Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
FOSSACS
13 years 11 months ago
2004 Springer FOSSACS
13 years 11 months ago
2004 Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
FOSSACS
13 years 10 months ago
2004 Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
FOSSACS
13 years 10 months ago
2004 Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
|