G. Egger. Integration applikativer und prozeßorientierter Programmierung. PhD thesis, Fachbereich Informatik, Technische Universitat Berlin, 1991. in German.  Home/Search   Document Not in Database   Summary   Related Articles

....exactly one explicit synchronization between the processes taking part in it, namely at its beginning. In this way the framework to be presented here reflects the situation prevailing in many programming languages where the rendezvous is built in. Such languages are Ada ( DoD83] Egger s AP ([Egg91]) and POOL ( Ame87] 2) There is no operator for sequential composition. As a consequence the value passing calculus can be defined in a way so that it is as integrated as, for example, value passing CCS. In earlier accounts of the rendezvous to which (1) applies we have the situation that (2) ....

....any arbitrary combination of requests for other services and offers for sub services. There exist formal accounts of the rendezvous in which (mostly in some wider context) an explicit synchronization is used to release the client from its wait state (see, for example, BZ83] Wal90] and [Egg91]) On the other hand it is certainly desirable to keep the one synchronization per rendezvous property of the real world model. If it is kept then we can say that the rendezvous is described in the form of a primitive. Works where this characterization applies have been published by de Bakker ....

[Article contains additional citation context not shown here]

G. Egger. Integration applikativer und prozeßorientierter Programmierung. PhD thesis, Fachbereich Informatik, Technische Universitat Berlin, 1991. in German.

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