Distributed States Temporal Logic

Carlo Montangero, Laura Semini

We introduce a temporal logic to reason on global applications in an asynchronous setting. First, we define the Distributed States Logic (DSL), a modal logic for localities that em…