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

Año de publicación: 2004

Volumen: 16

Número: 3

Páginas: 238-262

Tipo: Artículo

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