Explicit Modeling of Influences, and of Their Absence, in Distributed Systems.

Horst F. Wedde, Arnim Wedig

Browse the full TACAS paper archive.