An integrated framework for the performance analysis of asynchronous communicating stochastic processes

  1. López, N.
  2. Núñez, M.
  3. Rubio, F.
Revista:
Formal Aspects of Computing

ISSN: 0934-5043

Any de publicació: 2004

Volum: 16

Número: 3

Pàgines: 238-262

Tipus: Article

DOI: 10.1007/S00165-004-0044-7 GOOGLE SCHOLAR