191
click to vote
FOSSACS
15 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...
177
click to vote
FOSSACS
15 years 9 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...
169
click to vote
FOSSACS
15 years 11 months ago
2004 Springer 
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
163
click to vote
FOSSACS
15 years 11 months ago
2004 Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
161
Voted
FOSSACS
15 years 11 months ago
2004 Springer
We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved. Many types of graphical structures used in comput...
|
Software Engineering