Invited Technical Papers.- AGILE: Software Architecture for Mobility.- A Coinductive Calculus of ...

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...

Service-Oriented Computing is a paradigm for developing and providing software that can address m...

A collective autonomic system consists of collaborating autonomic entities which are able to adap...

Algebraic specification a step towards future software engineering.- How to make algebraic specif...

This volume is a collection of papers presenting work based on the ideas of the CIP project. The ...

This volume contains the papers from the workshop ¿Radical Innovations of Software and Systems En...

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer ...

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...

Towards a theory of relativizations: Positive relativizations.- Natural semantics.- On local rout...

This monograph details several important advances in the direction of a practical proofs-as-progr...

This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...