Theoretical Computer Science and General Issues
© 2005
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Editors: De Nicola, Rocco, Sangiorgi, Davide (Eds.)
Free PreviewBuy this book
- Table of contents (20 chapters)
-
-
Harmony: The Art of Reconciliation
Pages 1-1
-
A Theory of Noninterference for the π-Calculus
Pages 2-18
-
Typed Processes in Untyped Contexts
Pages 19-32
-
Model–Based Testing of Cryptographic Protocols
Pages 33-60
-
A General Name Binding Mechanism
Pages 61-74
-
Table of contents (20 chapters)
Recommended for you

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