Temporal logics for communicating sequential agents: I

Lodaya, Kamal ; Ramanujam, R. ; Thiagarajan, P. S. (1992) Temporal logics for communicating sequential agents: I International Journal of Foundations of Computer Science, 3 (2). pp. 117-159. ISSN 0129-0541

Full text not available from this repository.

Official URL: http://www.worldscinet.com/ijfcs/03/0302/S01290541...

Related URL: http://dx.doi.org/10.1142/S0129054192000103


We introduce a class of distributed systems called Communicating Sequential Agents (CSAs). Sound and complete axiomatizations are provided for various subclasses using a family of indexed temporal logics. Some of the important features of these logics are: · Both the formulas and the structures for the logics reflect the fact that a system is composed out of a number of participating sequential agents. · Formulas of the logics are interpreted only at local states. · An agent makes a definite assertion about another agent only if it has received - directly or indirectly - some communication from that agent supporting that assertion.

Item Type:Article
Source:Copyright of this article belongs to World Scientific Publishing Company.
Keywords:Logics of Programs; Temporal Logic; Distributed Systems; Knowledge
ID Code:50518
Deposited On:25 Jul 2011 11:43
Last Modified:25 Jul 2011 11:43

Repository Staff Only: item control page