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

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

ISSN: 0934-5043

Datum der Publikation: 2004

Ausgabe: 16

Nummer: 3

Seiten: 238-262

Art: Artikel

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