|
|
|
|
|
|
Among the early process algebras, Hoare’s communicating sequential processes (CSP) [1] had an explicit syntax of process names, which could be thought of as “agents” that executed the processes. The communication mechanism involved handshake synchronization among these names [2]. Milner’s calculus of communicating systems (CCS) [3] was modeled more on the lines of the λ-calculus used in programming languages, where names were used to refer to local variables, and thus even passed around, as in the later π-calculus (Milner’s Turing Award lecture [4] has an accessible account). The authors of this paper seem to be suggesting that Hoare’s viewpoint might have had something going for it, because one can talk about the knowledge held by an agent and reformulate processes as games, discovering assumptions about information available to processes within the semantics. The authors apply this idea to security. They refer to some of the early agent-based work where knowledge theory plays a significant role (older [5,6] and more recent works [7] also exist). The authors’ connection also needs to be explored in the opposite direction, since bisimulation is a strong equivalence, to see whether any of the other process equivalences [8] can be given a knowledge theoretic reading. This paper will be of interest to researchers in concurrency theory, programming language semantics, and knowledge representation.
|
|
Reviewer:
K. Lodaya |
Review #: CR141097
(1307-0635) |
|
|
1) |
Hoare, C. A. R. Communicating sequential processes. Communications of the ACM 21, (1978), 666–677. |
|
2) |
Hoare, C. A. R. Communicating sequential processes. Prentice Hall, Englewood Cliffs, NJ, 1985. |
|
3) |
Milner, R. A calculus of communicating systems (LNCS 92). Springer-Verlag, Berlin, Germany, 1980. |
|
4) |
Milner, R. Elements of interaction: Turing Award lecture. Communications of the ACM 36, (1993), 78–89. |
|
5) |
Chandy, K. M.; Misra, J. How processes learn. Distributed Computing 1, (1986), 40–52. |
|
6) |
Parikh, R.; Ramanujam, R. Logics of programs (LNCS 193). Springer-Verlag, , 1985. |
|
7) |
Parikh, R.; Ramanujam, R. A knowledge based semantics of messages. Journal of Logic, Language and Information 12, (2003), 453–467. |
|
8) |
van Glabbeek, R. J. Handbook of process algebra. Elsevier, , 2001. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Other reviews under "Parallelism And Concurrency": |
Date |
|
Combinatorics on traces Diekert V., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9780387530314) |
Aug 1 1991 |
|
Concurrent bisimulations in Petri nets Best E., Devillers R., Kiehn A., Pomello L. Acta Informatica 28(3): 231-264, 1991. Type: Article |
May 1 1992 |
|
Improved upper and lower time bounds for parallel random access machines without simultaneous writes Parberry I. (ed), Yan P. SIAM Journal on Computing 20(1): 88-99, 1991. Type: Article |
May 1 1992 |
|
more... |
|
|
|
|
|
|
|
E-Mail
This
Printer-Friendly
|
|
|
|
|
|
|