An Automaton over Data Words That Captures EMSO Logic

Abstract

We develop a general framework for the specification and implementation of systems whose executions are words, or partial orders, over an infinite alphabet. As a model of an implementation, we introduce class register automata, a one-way automata model over words with multiple data values. Our model combines register automata and class memory automata. It… (More)
DOI: 10.1007/978-3-642-23217-6_12

Topics

3 Figures and Tables

Slides referencing similar topics