M. Herescu and C. Palamidessi. Probabilistic asynchronous pi-calculus. In Proc. FoSSaCS 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formalizing Timed Musical Processes with a Temporal.. - Rueda, Valencia (Correct)
....for a given system ts more naturally to musical applications. We plan to pursue this line of work in three directions: rst, modeling in ntcc a variety of metric modulations such as described in [10] and proving their properties. Second, extending ntcc to a probabilistic model following ideas in [7]. This is justi ed by the existence of rhythm 50 patterns examples involving stochastic behavior which cannot be faithfully modeled with nondeterministic behavior. Third, we plan to de ne an abstract machine for ntcc and construct a music composition language on top of it. ....
O. Herescu and C. Palamidessi. Probabilistic asynchronous pi-calculus. FoSSaCS, pages 146-160, 2000.
Temporal Concurrent Constraint Programming: Applications and .. - Nielsen, Valencia (2001) (Correct)
....these notionsa nda lsoa simple execution model for restricted nondeterministic processes. Our current resea rch includes the studyof the decida bilityof# rbitraj ntcc s it rema00 open question. Thepla for future resea h includes the extension of ntcc toa proba bilistic model followingidea s in [12] a d [8] This is justified bythe existence of RCX progra ples involving stocha stic vior which nnot be ithfullymodeled with non deterministic vior. Ina more l setting wepla n to definea progra mmingla ngua for RCX controllersbale on ntcc. Acknowledgments. We owe much to Ca uscia Pa a idessi, ....
O. Herescu and C. Palamidessi. Probabilistic Asynchronous Pi-calculus. FoSSaCS,
Temporal Concurrent Constraint Programming - Valencia (2001) (2 citations) (Correct)
....and in nite computations to happen (see [1] and [21] for impossibility results under these conditions) a relatively simple model seems to exist as a result of the particular nature of ntcc. The plan for future research includes the extension of ntcc to a probabilistic model following ideas in [14] and [10] This is justi ed by the existence of RCX program examples involving stochastic behavior which cannot be faithfully modeled with non deterministic behavior. In a more practical setting we plan to de ne a programming language for RCX controllers based on ntcc. Acknowledgments. I am ....
O. Herescu and C. Palamidessi. Probabilistic asynchronous pi-calculus. FoSSaCS, pages 146160, 2000.
A Temporal Concurrent Constraint Programming Calculus - Valencia, Valencia (2001) (2 citations) Self-citation (Palamidessi) (Correct)
No context found.
O. Herescu and C. Palamidessi. Probabilistic asynchronous picalculus. FoSSaCS, pages 146160, 2000. 26
Temporal Concurrent Constraint Programming.. - Nielsen.. (2002) (2 citations) Self-citation (Palamidessi) (Correct)
....and in nite computations to happen (see [2] and [27] for impossibility results under these conditions) a relatively simple model seems to exist as a result of the particular nature of ntcc. The plan for future research includes the extension of ntcc to a probabilistic model following ideas in [18]. This is justi ed by the existence of RCX program examples involving stochastic behavior which cannot be faithfully modeled with non deterministic behavior. In a more practical setting we plan to de ne a programming language for RCX controllers based on ntcc. Acknowledgments. We thank Maurizio ....
O. Herescu and C. Palamidessi. Probabilistic asynchronous pi-calculus. FoSSaCS, pages 146-160, 2000.
Trace Machines for Observing Continuous-Time Markov Chains - Wolf, Majster-Cederbaum.. (2005) (Correct)
No context found.
M. Herescu and C. Palamidessi. Probabilistic asynchronous pi-calculus. In Proc. FoSSaCS 2000.
Process Calculi for the Foundations of - Peer-To-Peer Systems Johannes (Correct)
No context found.
Mihaela Herescu. The Probabilistic Asynchronous pi-calculus. PhD thesis, The Pennsylvania State University, 2002.
Noname manuscript No. - Will Be Inserted (Correct)
No context found.
O. Herescu and C. Palamidessi. Probabilistic asynchronous picalculus. FoSSaCS, pages 146--160, 2000.
Temporal Concurrent Constraint Programming: Applications and .. - Nielsen, Valencia (2001) (Correct)
No context found.
O. Herescu and C. Palamidessi. Probabilistic asynchronous picalculus. FoSSaCS, pages 146--160, 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