The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (2004)
Dresden, Germany
Sept. 7, 2004 to Sept. 10, 2004
ISBN: 0-7695-2080-4
pp: 99-104
ABSTRACT
The π calculus models communication using synchronous channels which proved to be unrealistic in implementation. The join calculus eliminates the synchronous channels. It, however, still considers message-passing as the only communication form in distributed systems. We show that processes can share variables in local memories of system nodes, if they can travel among the nodes. We present a model which integrates passing and sharing communication in a common framework.
INDEX TERMS
null
CITATION
Stanislaw Chrobot, "Introducing Variable Sharing to Process Calculi", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 99-104, 2004, doi:10.1109/PCEE.2004.39
443 ms
(Ver 3.3 (11022016))