Some logical and automata-theoretic aspects of product behaviours

Thiagarajan , P. S. (1998) Some logical and automata-theoretic aspects of product behaviours Electronic Notes in Theoretical Computer Science, 16 (2). p. 153. ISSN 1571-0661

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/S...

Related URL: http://dx.doi.org/10.1016/S1571-0661(04)00124-0

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.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:50516
Deposited On:25 Jul 2011 11:44
Last Modified:25 Jul 2011 11:44

Repository Staff Only: item control page