PAPM-PROBMIV 2002 (2002 Copenhagen, Denmark)

• Process algebra and probabilistic methods