loading...
Introducing Variable Sharing to Process Calculi
Dresden, Germany September 07-September 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PCEE.2004.39International Conference on Parallel ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Citation:
Stanislaw Chrobot, "Introducing Variable Sharing to Process Calculi," parelec, pp.99-104, International Conference on Parallel Computing in Electrical Engineering, (PARELEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.