Process algebra and probabilistic methods : :: SCD d'Orléans

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

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	PAPM-PROBMIV :Aachen, Allemagne
Altri autori:	Alfaro, Luca de, 1966- (Direttore editoriale), Gilmore, Stephen, 1962- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2165
Soggetti:	Génie logiciel Informatique Langages de programmation Automates mathématiques, Théorie des Parallélisme (informatique) Systèmes informatiques > Pannes Actes de congrès
Accesso online:	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

Documenti analoghi

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

Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

Parallel processing : CONPAR 92-VAPP V, Second joint international conference on vector and parallel processing, Lyon, France, September 1-4, 1992 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings Applications

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings

Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings

Performance engineering : state of the art and current trends
di: Dumke, Reiner

Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989 : proceedings

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

PARLE '93 : parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings

Parallel processing : CONPAR 94-VAPP VI : third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6 8, 1994 : proceedings

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
di: Zwiers, Job, 19..-

Interactive Markov chains : and the quest for quantified quality
di: Hermanns, Holger, 1967-

PARLE '89 Parallel architectures and languages Europe. parallel Architectures : Eindhoven, The Netherlands, June 12 16, 1989 : proceedings

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

Performance evaluation : origins and directions
di: Haring, Günter, 1943-

Parallel computer routing and communication : first international workshop, PCRCW '94, Seattle, Washington, U.S.A., May 16-18, 1994 : proceedings

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8 12, 1997 : revised lectures

Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings

Networking 2002 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 : proceedings
Pubblicazione: (2007)

Parallel computer routing and communication : second international workshop, PCRCW ±97, Atlanta, Georgia, June 1997 : proceedings

Networking 2004 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings
di: Mitrou, Nikolas

Computer performance evaluation : modelling techniques and tools : 9th international conference, St. Malo, France, June 1997 : proceedings

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
di: Deprettere, Ed F., 1944-

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

Verifying concurrent processes using temporal logic
di: Hailpern, Brent T., 1955-

A Survey of verification techniques for parallel programs
di: Barringer, Howard, 1951-

Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001, Nał©eczów, Poland, September 9-12, 2001 : revised papers
di: Wyrzykowski, Roman, 19..-
Pubblicazione: (2003)

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30 31, 2001 : proceedings

Euro-Par 2000 parallel processing : 6th International Euro-Par Conference Munich, Germany, August 29 September 1, 2000 : proceedings

Computer performance evaluation : modelling techniques and tools : 7th international conference, Vienna, Austria, May 3-6, 1994 : proceedings

Euro-Par 2001 parallel processing : 7th International Euro-Par Conference Manchester, UK, August 28 31, 2001 : proceedings

Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales