Inproceedings,

A Matrix-based Method for Analysing Stochastic Process Algebras.

, and .
ICALP Satellite Workshops, page 579-590. Carleton Scientific, Waterloo, Ontario, Canada, (2000)

Meta data

Tags

Users

  • @dblp

Comments and Reviews