Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283-296, Springer, 2000.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....[41] time quotas are assigned to communications for this purpose. Sangiorgi [56] proposes a typing system to guarantee what he calls receptiveness, which means that an appropriate input prefix is always available. Unlike the present work, these and other preceding typing systems for p calculi [11, 26, 27, 55, 57] do not guarantee SN and the associated liveness properties for processes involving nontrivial use of replication. As a result, embeddability of, say, l in these systems does not guarantee the SN of the source calculus. Since the present work was reported in [68] Sangiorgi has proposed a strong ....

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283--296, Springer, 2000.

....with a local liveness property. Kobayashi and his colleagues [26, 28 30] propose several typing systems which ensure a form of liveness (in [29] time quotas are assigned to communications for this purpose) Unlike the present work, these and other preceding typing systems for p calculus [9, 11, 18, 19, 39, 41] do not guarantee SN and the associated liveness properties for processes involving non trivial use of replication. As a result, embeddability of, say, l in these systems does not guarantee the SN of the source calculus in these systems. Structure of the Paper Section 2 introduces the syntax and ....

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283--296, Springer, 2000.

....[30] was the rst to point out the diculty of fully abstract embeddings of functional sequentiality in the calculus and [35] showed that the same problems arise even with the higher order calculus. While some preceding work studies the signi cance of replication and linearity of channels [9, 17, 24, 31, 34, 37, 40], none o ers a fully abstract interpretation of functional sequentiality. One of the novel features in this regard is the incorporation of duality into the type structures (cf. 14, 25] In the remainder, Section 2 and 3 introduce the typed calculus. Section 4 analyses operational structures of ....

....two basic ways to realise this in interacting processes. One is to have (at most) one input and (at most) one output at a given channel (such a channel is called ane) Another is to have a unique stateless replicated input with zero or more dual outputs. These ideas have been studied in the past [14, 16, 17, 23, 24, 34, 37, 40]. To capture them in typing, we use the following action modes, denoted p; q; 1 Ane input 1 Ane output Replicated input Output to replicated input We also use to denote the presence of both input and output at an ane channel. In the table above, the mode on the left and ....

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283-296, Springer, 2000.

....with a local liveness property. Kobayashi and his colleagues [27, 29 31] propose several typing systems which ensure a form of liveness (in [30] time quotas are assigned to communications for this purpose) Unlike the present work, these and other preceding typing systems for p calculus [9, 19, 20, 40, 42] do not guarantee SN and the associated liveness properties for processes involving non trivial use of replication. As a result, embeddability of, say, l in these systems does not guarantee the SN of the source calculus in these systems. Structure of the Paper Section 2 introduces the syntax and ....

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283--296, Springer, 2000.

....with a local liveness property. Kobayashi and his colleagues [27, 29 31] propose several typing systems which ensure a form of liveness (in [30] time quotas are assigned to communications for this purpose) Unlike the present work, these and other preceding typing systems for p calculus [9, 12, 19, 20, 40, 42] do not guarantee SN and the associated liveness properties for processes involving non trivial use of replication. As a result, embeddability of, say, l in these systems does not guarantee the SN of the source calculus in these systems. Structure of the Paper Section 2 introduces the syntax and ....

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283--296, Springer, 2000.

....[27] was the rst to point out the diculty of fully abstract embeddings of functional sequentiality in the calculus and [31] showed that the same problems arise even with the higher order calculus. While some preceding work studies the signi cance of replication and linearity of channels [7, 15, 20, 28, 30, 33, 36], none o ers a fully abstract interpretation of functional sequentiality. In the remainder, Section 2 and 3 introduce the typed calculus. Section 4 analyses operational structures of typed terms. Based on them Section 5 establishes full abstraction. The technical details, including proofs omitted ....

....deterministic. There are two basic ways to realise this. One is to have (at most) one input and (at most) one output at a given channel (such a channel is called ane) Another is to have a unique stateless replicated input with zero or more dual outputs. These ideas have been studied in the past [12, 14, 15, 20, 21, 30, 33, 36]. To capture them in typing, we use the following action modes, ranged over by p; q; 1 Ane input 1 Ane output Replicated input Output to replicated input We also use to denote the presence of both input and output at an ane channel. In the table above, the mode on the left ....

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283-296, Springer, 2000.

No context found.

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283-296, Springer, 2000.

No context found.

Quaglia, P. and Walker, D., On Synchronous and Asynchronous Mobile Processes, FoSSaCS 00, LNCS 1784, 283-296, Springer, 2000.

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