Stochastic Process Algebras: Linking Process Descriptions with Performance

Research output: Contribution to journalArticleProfessional

8 Downloads (Pure)
Original languageUndefined
Pages (from-to)34-42
JournalNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
Issue number4
Publication statusPublished - 2000

Keywords

  • METIS-121905
  • IR-76313

Cite this

@article{408c6e436cf94e20b084f618432dbc72,
title = "Stochastic Process Algebras: Linking Process Descriptions with Performance",
keywords = "METIS-121905, IR-76313",
author = "Hendrik Brinksma and {d' Argenio}, P.R. and Katoen, {Joost P.}",
year = "2000",
language = "Undefined",
pages = "34--42",
journal = "Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica",
number = "4",

}

TY - JOUR

T1 - Stochastic Process Algebras: Linking Process Descriptions with Performance

AU - Brinksma, Hendrik

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

PY - 2000

Y1 - 2000

KW - METIS-121905

KW - IR-76313

M3 - Article

SP - 34

EP - 42

JO - Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

JF - Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

IS - 4

ER -