Home

Peter_B.__Ladkin


Fast algebraic methods for interval constraint problems

Interpreting Message Flow Graphs

On binary constraint problems

Static Analysis of Interprocess Communication