Skip to main content
SpringerLink
Log in

Trustworthy Global Computing

9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Matteo Maffei

    1. Department of Computer Science, Saarland University, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Emilio Tuosto

    1. Computer Science, University of Leicester, Leicester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8902)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TGC 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. An Information Flow Monitor for a Core of DOM

    • Ana Almeida-Matos, José Fragoso Santos, Tamara Rezk
    Pages 1-16

  3. Finding a Forest in a Tree

    • Giorgio Bacci, Marino Miculan, Romeo Rizzi
    Pages 17-33

  4. Automata for Analysing Service Contracts

    • Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari
    Pages 34-50

  5. On Duality Relations for Session Types

    • Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
    Pages 51-66

  6. Characterising Testing Preorders for Broadcasting Distributed Systems

    • Andrea Cerone, Matthew Hennessy
    Pages 67-81

  7. Tests for Establishing Security Properties

    • Vincent Cheval, Stéphanie Delaune, Mark Ryan
    Pages 82-96

  8. A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

    • Vincenzo Ciancia, Matteo Sammartino
    Pages 97-111

  9. Multiparty Session Nets

    • Luca Fossati, Raymond Hu, Nobuko Yoshida
    Pages 112-127

  10. Interaction and Causality in Digital Signature Exchange Protocols

    • Jonathan Hayman
    Pages 128-143

  11. Session Types with Gradual Typing

    • Peter Thiemann
    Pages 144-158

  12. Corecursion and Non-divergence in Session-Typed Processes

    • Bernardo Toninho, Luis Caires, Frank Pfenning
    Pages 159-175

  13. Trust-Based Enforcement of Security Policies

    • Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
    Pages 176-191

  14. Back Matter

    Pages 193-193
    Download chapter PDF
Back to top

Other volumes

  1. Trustworthy Global Computing

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.

Editors and Affiliations

  • Department of Computer Science, Saarland University, Saarbrücken, Germany

    Matteo Maffei

  • Computer Science, University of Leicester, Leicester, United Kingdom

    Emilio Tuosto

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation