CONCUR 2007 - Concurrency Theory | 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

Luís Caires (u. a.)

ISBN 10: 3540744061 / ISBN 13: 9783540744061

Edité par Springer, 2007

A propos de cet article

CONCUR 2007 - Concurrency Theory | 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings | Luís Caires (u. a.) | Taschenbuch | xiii | Englisch | 2007 | Springer | EAN 9783540744061 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

N° de réf. du vendeur 101980082

Détails bibliographiques

• Titre: CONCUR 2007 - Concurrency Theory | 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
• Éditeur: Springer
• Date de parution: 2007
• Langue: anglais
• ISBN à 10 chiffres: 3540744061
• ISBN à 13 chiffres: 9783540744061
• Reliure: Taschenbuch
• État de l'article: Neu
• Dimensions: 28 L x 155 H x 235 P (en millimètres) 28 millimètres de largeur par 155 millimètres de hauteur par 235 millimètres de profondeur
• Poids: 791 grammes
• Catalogues du vendeur:
  • Bücher

A propos de ce titre

Synopsis

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.