More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Programming and Software Engineering

Algebraic Methodology and Software Technology

13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers

Editors: Johnson, Michael, Pavlovic, Dusko (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-17796-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-17795-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.

The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Table of contents (15 chapters)

  • Structural Analysis for Stochastic Process Algebra Models

    Ding, Jie (et al.)

    Pages 1-27

  • Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

    Bolduc, Claude (et al.)

    Pages 28-43

  • On the Expressiveness of the π-Calculus and the Mobile Ambients

    Brodo, Linda

    Pages 44-59

  • Integrating Maude into Hets

    Codescu, Mihai (et al.)

    Pages 60-75

  • Model Refinement Using Bisimulation Quotients

    Glück, Roland (et al.)

    Pages 76-91

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-17796-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-17795-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebraic Methodology and Software Technology
Book Subtitle
13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Editors
  • Michael Johnson
  • Dusko Pavlovic
Series Title
Programming and Software Engineering
Series Volume
6486
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-17796-5
DOI
10.1007/978-3-642-17796-5
Softcover ISBN
978-3-642-17795-8
Edition Number
1
Number of Pages
X, 238
Number of Illustrations and Tables
36 b/w illustrations, 10 illustrations in colour
Topics