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

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

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

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

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

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

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

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

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

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

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