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...

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...