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...
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...
160
click to vote
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...
154
click to vote
FOSSACS
15 years 11 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