Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25 26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and P...

Description complète

Détails bibliographiques

Collectivité auteur:	PAPM-PROBMIV :Copenhague
Autres auteurs:	Hermanns, Holger, 1967- (Directeur de la publication), Segala, Roberto (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2399
Sujets:	Génie logiciel Informatique Langages de programmation Automates mathématiques, Théorie des Parallélisme (informatique) Systèmes informatiques > Pannes Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Process algebra and probabilistic methods, performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings, Holger Hermanns, Roberto Segala, eds, Berlin, Springer, 2002, 1 vol. (X-214 p.), Lecture notes in computer science, 3-540-43913-7 • Process Algebra and Probabilistic Methods: Performance Modeling and Verification, Texte imprimé, 9783662195529