180
click to vote
FOSSACS
15 years 10 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...
164
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...
154
click to vote
FOSSACS
15 years 10 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...
153
click to vote
FOSSACS
15 years 10 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...
148
click to vote
FOSSACS
15 years 10 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