Process Algebras for Petri Nets

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

Formal Methods for Open Object-Based Distributed Systems

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

Process Algebras for Petri Nets

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...

Foundations of Security Analysis and Design II

InhaltsangabeTwo Formal Approaches for Approximating Noninterference Properties.- The Key Establi...

Introduction to Concurrency Theory

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

Foundations of Security Analysis and Design

InhaltsangabeMathematical Models of Computer Security.- The Logic of Authentication Protocols.- A...

Formal Methods for Open Object-Based Distributed Systems

InhaltsangabePreface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz....

Foundations of Security Analysis and Design VI

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

Introduction to Concurrency Theory

Process Algebras for Petri Nets

Computational Methods in Systems Biology

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