Exploiting Symmetries in Stochastic Process Algebras

Holger Hermanns, Mirana Ribaudo

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Downloads (Pure)
Original languageEnglish
Title of host publicationSimulation - 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
EditorsRichard Zobel
Place of PublicationGhent
PublisherSCS Publishing House
Number of pages8
ISBN (Print)1-56555-148-6
Publication statusPublished - 8 Feb 1998
Externally publishedYes
Event12th European Simulation Multiconference, ESM 1998 - Manchester, United Kingdom
Duration: 16 Jun 199819 Jun 1998
Conference number: 12


Conference12th European Simulation Multiconference, ESM 1998
Abbreviated titleESM
Country/TerritoryUnited Kingdom


  • METIS-119205

Cite this