J.-P. Banatre, M. Banatre, and F. Ployette. Distributed system structuring using multi-functions. Rapport de Recherche 694, INRIA Rennes, June 1987.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....since the join calculus is asynchronous and since we have no single shot channels, it is necessary to have a new operation to provide synchronization. This is done through join patterns which must receive several messages to trigger a new computation. This is reminiscent idea of multi functions in [4]. For instance, in def(xhyi j thui . P ) xhzi j thvi . Q) in xhai j thci j xhbi one needs to have two messages on x and t to pass one of the two guards. Therefore the execution of P and Q are mutually exclusive. We now proceed with a precise definition of the join calculus. 2 The ....

J.-P. Banatre, M. Banatre, and F. Ployette. Distributed system structuring using multi-functions. Rapport de Recherche 694, INRIA Rennes, June 1987.

....the two encodings between the calculus and the join calculus that are described in section 6. These results are obtained using auxiliary encodings and bisimulation based techniques, in particular weak bisimulation up to expansion as proposed in [25] 2. 1 Related work To our knowledge, Banatre [5] was the first to suggest multi functions as primitives for synchronization. They correspond to a first order version of our join definitions, in a procedural and synchronous language. Our work is more directly related to the recent asynchronous trend of the calculus [11, 10, 7] and from ....

J.-P. Banatre, M. Banatre, and F. Ployette. Distributed system structuring using multi-functions. Rapport de Recherche 694, INRIA Rennes, June 1987.

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