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

Invited Speakers.- Security Issues in Service Composition.- Separating Distribution from Coordina...

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...

Foundations of Security Analysis and Design.- Security Protocols: Principles and Calculi.- Secure...

Mathematical Models of Computer Security.- The Logic of Authentication Protocols.- Access Control...

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

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...

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

Petri nets are one of the most popular tools for modeling distributed systems. This book provides...