- Email: [email protected]
Some Logical and Automata-Theoretic Aspects of Product Behaviours
Electronic Notes in Theoretical Computer Science 16 No. 2 (1998) URL: http://www.elsevier.nl/locate/entcs/volume16.html 1 pages
Some Logical and Automata-Theoretic Aspects of Product Behaviours P.S. Thiagara jan
SPIC Mathematical Institute, 92 G.N. Chetty Road, Chennai 600 017, India
Abstract A network of sequential processes that communicate by synchronizing on common actions enjoys the status of a "folklore" model of distributed systems. Despite (because of?) this familiarity it is only recently there has been a systematic study of this model that we call product systems. In particular, it turns out that the classical theory involving Buechi automata, w-regular languages, monadic second order logics and linear time temporal logics extends smoothly to the setting of product systems. We shall survey this theory with an eye towards partial order based temporal logics.
c 1998 Published by Elsevier Science B. V.
Some Logical and Automata-Theoretic Aspects of Product Behaviours P.S. Thiagara jan
SPIC Mathematical Institute, 92 G.N. Chetty Road, Chennai 600 017, India
Abstract A network of sequential processes that communicate by synchronizing on common actions enjoys the status of a "folklore" model of distributed systems. Despite (because of?) this familiarity it is only recently there has been a systematic study of this model that we call product systems. In particular, it turns out that the classical theory involving Buechi automata, w-regular languages, monadic second order logics and linear time temporal logics extends smoothly to the setting of product systems. We shall survey this theory with an eye towards partial order based temporal logics.
c 1998 Published by Elsevier Science B. V.