Pierpaolo Degano, Jean-Vincent Loddo, and Corrado Priami. Mobile processes with local clocks. In Proc. of the Workshop on Analysis and Veri cation of Multiple-Agent Languages, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....multimedia systems (e.g. streaming video player on mobile laptop) cannot be modeled satisfactorily with r calculus due to its lack of time expressiveness. Yet, there are very few real time extensions to r calculus in the literature. The most notable of these is the stochastic r calculus [P95, DLP96, P97] that allows probabilistic time delays to be associated with synchronising actions. The probabilities are drawn from some well defined distribution, and can be used to describe the quantitative performance of systems. However, stochastic r calculus has true concurrency se mantics (rather ....

Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami, "Mobile Processes with Local Clocks", In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm 1996, LNCS 1192, (M. Dam Ed.), Springer-Verlag.

.... only a few of a long list of references) Another well studied non interleaving qualitative aspect concerns the description of the localities where processes are placed (among the other proposals, see [8,1,2,29] Quantitative descriptions include transition systems that express temporal aspects [22,30,19,21,16], probabilistic aspects [34,25] and stochastic ones [20,23,3,9,31] Besides its interest in se, an SOS semantics for causality is relevant because it is paradigmatic for others qualitative, non interleaving description of concurrent systems, as well as for some of the quantitative ones. In ....

P. Degano, J.-V. Loddo, and C. Priami. Mobile processes with local clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm, Sweden, 1996.

....approach of [CGR95] local time stamps are attached to actions and actions do not necessarily occur in the order given by these time stamps; efficiency is judged on the basis of these local time stamps. Again, this is a very different idea developed further in a number of papers like [DLP96] and no relation to our approach holds. ....

P. Degano, J.-V. Loddo, and C. Priami. Mobile processes with local clocks. In Proc. LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, Lect. Notes Comp. Sci. 1192, 296--319. Springer, 1996.

....in mind how operations are implemented on the target machine. The description of how operations are implemented at a lower level is encoded in proof terms and an analysis of them can allow us to directly derive a Markov chain with the appropriate rates of transitions. A similar work is done in [7], where fixed costs are associated to tags in the labels. This assumption means that an action within a fixed context has always the same cost. This is a limitation when considering networks, as everyone can check by trying to load the same document many times. The resulting efficiency changes. ....

....in the labels. This assumption means that an action within a fixed context has always the same cost. This is a limitation when considering networks, as everyone can check by trying to load the same document many times. The resulting efficiency changes. Thus, we propose to extend the approach in [7] to obtain a stochastic like version of the timed one. The advantages of this solution would be twofold. First, the designer can concentrate on the functional description of the problem. Then, the semantics of the language provides the information on the run time support to define rates. We thus ....

P. Degano, J.V. Loddo, and C. Priami. Mobile processes with local clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, LNCS 1192, pages 296--319. Springer-Verlag, 1996.

No context found.

Pierpaolo Degano, Jean-Vincent Loddo, and Corrado Priami. Mobile processes with local clocks. In Proc. of the Workshop on Analysis and Veri cation of Multiple-Agent Languages, 1996.

No context found.

Pierpaolo Degano, Jean-Vincent Loddo, and Corrado Priami. Mobile processes with local clocks. In Proc. of the Workshop on Analysis and Veri cation of Multiple-Agent Languages, 1996.

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