This book presents the fundamentals of concurrency theory with clarity and rigor. The authors sta...

FOSAD has been one of the foremost educational events established with the goal of disseminating ...

The increasing relevance of security to real-life applications, such as electronic commerce, is a...

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Bi...

This book deals with the problem of finding suitable languages that can represent specific classe...

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors sta...

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...

Security is a rapidly growing area of computer science, with direct and increasing relevance to r...

Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several rela...

Security is a rapidly growing area of computer science, with direct and increasing relevance to r...

Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several rela...

FOSAD has been one of the foremost educational events established with the goal of disseminating ...