A Stochastic Pi Calculus for Concurrent Objects

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

Stu|sxS~dVP)h

}K~lq{TWq€_lVU~†Xbtu‡’PSVU~lt­_%§¨~lq{Tq=¬{V
ÝÒáÉ+ÝÒâ


   !"#$%&"##('%)+*,.-' 

!

J/



™S” ´ ´ ¹²˜ ´ ¹ š€— dĸ$# –S  tzVUrwXnVjP Œ€Qq€§ ' "#(' ' [%F  W f'#
&'"%&_' £ƒ’€|sV