FOSAD has been one of the foremost educational events established with the goal of disseminating ...
This book deals with the problem of finding suitable languages that can represent specific classe...
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...
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...
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 and I...
This book constitutes the refereed proceedings of the 7th International Conference on Computation...
Security is a rapidly growing area of computer science, with direct and increasing relevance to r...
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...
Security is a rapidly growing area of computer science, with direct and increasing relevance to r...
The increasing relevance of security to real-life applications, such as electronic commerce, i...