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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hermanns, Holger, Segala, Roberto
Format:	Buch
Sprache:	eng
Schlagworte:	Algebra Computer Science Logic design Logics and Meanings of Programs Machine theory Mathematical Modeling and Industrial Mathematics Mathematics Parallel processing (Electronic computers) Programming Languages, Compilers, Interpreters Software Engineering Software Engineering/Programming and Operating Systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!