P.S. Thiagarajan

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.

Abstract:

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.