Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates

Abstrakt

The paper focuses on discussing the problem of defining a composition operator in behavior protocols in a way which would reflect false communication of the software components being composed.