School of Mathematics, SPIC Science Foundation, Madras, India
Buechi Asynchronous Automata ; Some Logical Aspects
- *** Hill Center, Room 502 ***
- Busch Campus
- Piscataway, New Jersey
- Friday, July 12, 2:30 p.m.
Restricted partial orders known as (Mazurkiewicz) traces represent a
smooth generalization of the notion of a sequence in the setting of
partial orders. One important feature of traces is that they provide
the mathematical underpinning for many of the partial order based
verification methods that are currently available.It turns out that
the classical theory of infinite sequences extends nicely to infinite
traces. We will sketch here the trace version of the well known
result that links S1S (the monadic second order theory of sequences)
to Buechi automata.