We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
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 model for formula ø can be reduced to an inhabitation problem in
the Calculus of Inductive Constructions. Furthermore we present a proof for soundness and completeness
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.