| E.D. Tribble, M.S. Miller, K. Khan, D.G. Bobrow, and C. Abbot. Channels: a generalisation of streams. In E. Shapiro, editor, Concurrent Prolog. MIT Press, Cambridge, Ma, U.S.A., 1986. 13 |
....as AND concurrent structured processes. In Fig. 1, we have represented the objects as labeled boxes while the communication flow is represented by arrows. The communication is achieved by sharing of streams, i.e. potentially infinite, partially instantiated lists. Actually, we use here channels [24], corresponding to a more structured notion of streams than the simple list based one. Channels are defined as follows: ffl [ is the empty channel. ffl If M is a term and C is a channel, then [M C] is a channel (list) ffl If C1 and C2 are channels, then so is f C1,C2g (fork) 3.1 The ....
E.D. Tribble, M.S. Miller, K. Khan, D.G. Bobrow, and C. Abbot. Channels: a generalisation of streams. In E. Shapiro, editor, Concurrent Prolog. MIT Press, Cambridge, Ma, U.S.A., 1986. 13
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