Abstract
We introduce the notion of an I/O-automaton over a signature Σ. Beside we introduce a
modal logic to reason about such an I/O-automaton. The semantics of the logic is defined in
terms of a given Σ-algebra. We illustrate how the question whether or not an execution in a given I/O-automaton is a
... read more