Theoretical Computer Science and General Issues

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Editors: De Nicola, Rocco, Sangiorgi, Davide (Eds.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-31483-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-30007-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (20 chapters)

  • Harmony: The Art of Reconciliation

    Pierce, Benjamin C.

    Pages 1-1

  • A Theory of Noninterference for the π-Calculus

    Crafa, Silvia (et al.)

    Pages 2-18

  • Typed Processes in Untyped Contexts

    Bugliesi, Michele (et al.)

    Pages 19-32

  • Model–Based Testing of Cryptographic Protocols

    Rosenzweig, Dean (et al.)

    Pages 33-60

  • A General Name Binding Mechanism

    Boreale, Michele (et al.)

    Pages 61-74

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-31483-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-30007-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Trustworthy Global Computing
Book Subtitle
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Editors
  • Rocco De Nicola
  • Davide Sangiorgi
Series Title
Theoretical Computer Science and General Issues
Series Volume
3705
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31483-7
DOI
10.1007/11580850
Softcover ISBN
978-3-540-30007-6
Edition Number
1
Number of Pages
VIII, 371
Topics