This book constitutes the refereed proceedings of the Third European Conference on Service-Orient...

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

Logic program synthesis and transformation are topics of central importance to the software indus...

Logic programming synthesis and transformation are methods of deriving logic programs from their ...

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols betwe...

Invited Talks.- Realising the Benefits of Formal Methods.- A Compositional Framework for Service ...

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR st...

This book constitutes the refereed proceedings of the Second European Conference on Service-Orien...

The book provides a comprehensive coverage of the widely accepted desiderata of component-based s...