M. Baldamus. Tau--less CCS with a Remote Procedure Call Primitive. Technical Report 1994/6, Fachbereich Informatik, Technische Universitat Berlin, 1994. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
CCS without r's with Built-in Service Rendezvous - Baldamus Self-citation (Baldamus) (Correct)
....with built in rendezvous. ffl In Section 6 we describe the syntax and the SOS of value passing RC. ffl In Section 7 we describe ongoing work on RC. ffl In the appendix we recall the behavioural semantics of CCS Gamma . The paper is a condensed, rearranged, and slightly modified version of [Bal94]. In particular, Bal94] contains a full proof of the property stated in Section 5. 3. The Pure Rendezvous Calculus The basic idea that we want to advocate here consists in modeling the server in a rendezvous as a process that performs an offer for a service and thereby T : Omega j NIL j ....
....ffl In Section 6 we describe the syntax and the SOS of value passing RC. ffl In Section 7 we describe ongoing work on RC. ffl In the appendix we recall the behavioural semantics of CCS Gamma . The paper is a condensed, rearranged, and slightly modified version of [Bal94] In particular, [Bal94] contains a full proof of the property stated in Section 5. 3. The Pure Rendezvous Calculus The basic idea that we want to advocate here consists in modeling the server in a rendezvous as a process that performs an offer for a service and thereby T : Omega j NIL j a(T ) j a(X:T ) j T T ....
[Article contains additional citation context not shown here]
M. Baldamus. Tau--less CCS with a Remote Procedure Call Primitive. Technical Report 1994/6, Fachbereich Informatik, Technische Universitat Berlin, 1994.
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