Hoare, C.A.R. : Communicatin Sequential Processes. Prentice Hall, 1985. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
An Object Calculus for Asynchronous Communication - Honda, Tokoro (1991) (246 citations) (Correct)
....with duplicate names. The port names are only values to be considered here, sent by messages and consumed by receptors. A configuration will generate new port names which extends the domain of computation. Syntax Syntactically our formal system reduces, not extends, constructs in process calculi[13, 14, 9, 16], to incorporate asynchronous communication. The key idea is to express asynchronous messages as output processes without subsequent behaviour. That is, av:P (a process which outputs v through port a) is reduced to av (a message to the target a with a value v) In Section 4 we will see that ....
Hoare, C.A.R. : Communicatin Sequential Processes. Prentice Hall, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC