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
Abstract
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
