Exploiting Symmetries in Stochastic Process Algebras

Holger Hermanns; Mirana Ribaudo

Exploiting Symmetries in Stochastic Process Algebras

Holger Hermanns, Mirana Ribaudo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

28 Downloads (Pure)

Original language	English
Title of host publication	Simulation - Past, Present and Future
Subtitle of host publication	ESM '98 as part of the 50th anniversary celebrations of the University of Manchester, the home of computing
Editors	Richard Zobel
Place of Publication	Ghent
Publisher	SCS Publishing House
Pages	763-770
Number of pages	8
ISBN (Print)	1-56555-148-6
Publication status	Published - 8 Feb 1998
Externally published	Yes
Event	12th European Simulation Multiconference, ESM 1998 - Manchester, United Kingdom Duration: 16 Jun 1998 → 19 Jun 1998 Conference number: 12

Conference

Conference	12th European Simulation Multiconference, ESM 1998
Abbreviated title	ESM
Country/Territory	United Kingdom
City	Manchester
Period	16/06/98 → 19/06/98

Keywords

METIS-119205

Access to Document

Hermanns1998exploitingFinal published version, 123 KB

Cite this

@inproceedings{d5066fe443fa4a64b6424400a7004d9f,

title = "Exploiting Symmetries in Stochastic Process Algebras",

keywords = "METIS-119205",

author = "Holger Hermanns and Mirana Ribaudo",

year = "1998",

month = feb,

day = "8",

language = "English",

isbn = "1-56555-148-6",

pages = "763--770",

editor = "Richard Zobel",

booktitle = "Simulation - Past, Present and Future",

publisher = "SCS Publishing House",

note = "12th European Simulation Multiconference, ESM 1998, ESM ; Conference date: 16-06-1998 Through 19-06-1998",

}

Hermanns, H & Ribaudo, M 1998, Exploiting Symmetries in Stochastic Process Algebras. in R Zobel (ed.), Simulation - Past, Present and Future: ESM '98 as part of the 50th anniversary celebrations of the University of Manchester, the home of computing. SCS Publishing House, Ghent, pp. 763-770, 12th European Simulation Multiconference, ESM 1998, Manchester, United Kingdom, 16/06/98.

Exploiting Symmetries in Stochastic Process Algebras. / Hermanns, Holger; Ribaudo, Mirana.
Simulation - Past, Present and Future: ESM '98 as part of the 50th anniversary celebrations of the University of Manchester, the home of computing. ed. / Richard Zobel. Ghent: SCS Publishing House, 1998. p. 763-770.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Exploiting Symmetries in Stochastic Process Algebras

AU - Hermanns, Holger

AU - Ribaudo, Mirana

N1 - Conference code: 12

PY - 1998/2/8

Y1 - 1998/2/8

KW - METIS-119205

M3 - Conference contribution

SN - 1-56555-148-6

SP - 763

EP - 770

BT - Simulation - Past, Present and Future

A2 - Zobel, Richard

PB - SCS Publishing House

CY - Ghent

T2 - 12th European Simulation Multiconference, ESM 1998

Y2 - 16 June 1998 through 19 June 1998

ER -