Narain H. Gehani. Broadcasting Sequential Processes (BSP). IEEE Transactions on Software Engineering, SE-10(4):343--351, July 1984.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to be labeled with the identifier of the global transaction. Unread messages of committed aborted transactions are removed from the buffer by a background garbage process. Receive commands allow to screen out messages in the buffer by specifying restrictions on the contents of the message [Geh84] For example receive deadlock (y) y = item ignores all messages in the buffer until one of type deadlock is received with its information component y equal to item. Pseudo code sketching the behavior of GTM i is shown in Figure 3. Information maintained by GTM i . Each GTM i agent maintains ....

N.H. Gehani. Broadcast Sequential Processes. IEEE Transactions on Software Engineering, SE-10(4):343--351, 1984.

....many distributed operating systems [6] and to the group model of computation described in [16] 6 Related Work Due to lack of space we are only be able to briefly sketch the relationship between our work and others in the area of both executable logics and languages for distributed systems. In [11], Gehani describes Broadcasting Sequential Processes (BSP) which is also based on the asynchronous broadcasting of messages. As in Concurrent METATEM, objects may screen out certain messages, but not only is the identity of the sender always incorporated into a message, but also objects cannot ....

Narian H. Gehani. Broadcasting Sequential Processes. IEEE Transactions on Software Engineering, 10(4):343--351, July 1984.

....this system is directing the implementation of full (first order) Concurrent METATEM. Future implementation work will include the development of efficient techniques for recognising and compiling both point to point message passing and groups via multi cast message passing. 5. 2 Related Work In [16], Gehani describes Broadcasting Sequential Processes (BSP) which is also based on the asynchronous broadcasting of messages. As in Concurrent METATEM, objects may screen out certain messages, but not only is the identity of the sender always incorporated into a message, but also objects cannot ....

N. Gehani. Broadcasting Sequential Processes. IEEE Transactions on Software Engineering, 10(4):343--351, July 1984.

....Procedure Call has been enhanced to handle communication with multiple processes simultaneously [16] and to support replication [6] The success of group communication in distributed systems provoked research into adopting the concept as a programming technique. Broadcasting Sequential Processes [7] enabled sequential processes similar to those in Hoare s CSP [9] to broadcast messages to all others although there was no support for groups or transparency (messages were explicitly broadcast and received) Another approach relies on class libraries to abstract the group communication ....

N. M. Gehani. Broadcasting Sequential Processes (BSP). IEEETransactions on Software Engineering,SE-10(4):343-- 351, July 1984.

....The ActorSpace coordination primitives we will develop include broadcasting messages to groups of receivers, also known as multicasting. Broadcasting has been studied for some time now. Initial work was done on extending RPC to support replication [22] on broadcasting as a programming paradigm [25], and on protocols for reliable broadcasting [18] Later work has focused on protocol design [30, 34] and on improving and supporting reliability of broadcasting protocols [24, 13] In operating systems research, the notion of process groups has been introduced in several systems, among them the V ....

Narain H. Gehani. Broadcasting Sequential Processes (BSP). IEEE Transactions on Software Engineering, SE-10(4):343--351, July 1984.

No context found.

Narain H. Gehani. Broadcasting Sequential Processes (BSP). IEEE Transactions on Software Engineering, SE-10(4):343--351, July 1984.

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