Paper Info
Title
Some Logical and Automata-Theoretic Aspects of Product Behaviours
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.
Year
DOI
Venue
1998
10.1016/S1571-0661(04)00124-0
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
distributed system,regular language,production system,partial order,temporal logic
Computation tree logic,T-norm fuzzy logics,Discrete mathematics,Logical conjunction,Temporal logic of actions,Interval temporal logic,Computer science,Automaton,Theoretical computer science,Linear temporal logic,Monad (functional programming)
Journal
Volume
Issue
ISSN
16
2
Electronic Notes in Theoretical Computer Science
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
P.S. Thiagarajan110422.97