Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been o

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in Sept

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems,