Exploiting Symmetries in Stochastic Process Algebras

Holger Hermanns, Mirana Ribaudo

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

9 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
Pages763-770
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

Conference

Conference12th European Simulation Multiconference, ESM 1998
Abbreviated titleESM
CountryUnited Kingdom
CityManchester
Period16/06/9819/06/98

Keywords

  • METIS-119205

Cite this