This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...

Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in ...