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...
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...
146
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...
138
click to vote
FOSSACS
15 years 10 months ago
2004 Springer 
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
|
Software Engineering