Dec 2, 2006 - Processes of the Ï-calculus are seen as chemical solutions, in which ... Beyond these, multi-profile objects allow choice with mi x ed input and output on possibly di ff erent ...... In 7th I nternational Conference on Parallel Com ...
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
A Stochastic Pi Calculus for Concurrent Objects
N° 6076 December 2006
apport de recherche
ISRN INRIA/RR--6076--FR+ENG
Thèmes SYM et BIO
ISSN 0249-6399
inria-00121104, version 2 - 22 Dec 2006
Céline Kuttler — Cédric Lhoussaine — Joachim Niehren
inria-00121104, version 2 - 22 Dec 2006
! "#$%"'&)(*+$%,
inria-00121104, version 2 - 22 Dec 2006
- .103254 687:9; ∗ ? -.1@ > "!#
%&('*) =BeR!L %R)D@ +C!# % W !c!H7#8 (?/5@ BQF! # JU4-;#6CA BC9D!RE#G R%F)@ % B,DO[ W !! AG N 5(BU ! J0K #,A BC9D!FE#G