Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were carefull...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	PAPM-PROBMIV :Aachen, Allemagne
Altres autors:	Alfaro, Luca de, 1966- (Director editorial), Gilmore, Stephen, 1962- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 2165
Matèries:	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 línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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 modelling and verification, joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, proceedings, Luca de Alfaro, Stephen Gilmore (editors), 2001, Berlin, Springer, 1 vol. (XII-215 p.), Lecture notes in computer science, 3-540-42556-X • Process Algebra and Probabilistic Methods. Performance Modelling and Verification, Texte imprimé, 9783662166994