Amazon cover image
Image from Amazon.com

Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers / Ugo Montanari, Donald Sannella, Roberto Bruni (eds.).

By: Contributor(s): Material type: TextTextPublisher number: 12166930Series: Lecture notes in computer science ; 4661. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (x, 338 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540753360
  • 3540753362
  • 9783540753339
  • 3540753338
  • 9788354075332
  • 8354075338
Other title:
  • TGC 2006
Subject(s): Genre/Form: Additional physical formats: Print version:: Trustworthy global computing.DDC classification:
  • 005.8 22
LOC classification:
  • QA76.9.A25 T46 2006eb
Other classification:
  • TP309-532
  • SS 4800
  • DAT 460f
  • DAT 465f
  • DAT 252f
Online resources:
Contents:
FP6 Project overviews -- Keynote speakers -- Types to discipline interactions -- Calculi for distributed systems -- Flexible modeling -- Algorithms and systems for global computing -- Security, anonymity and type safety.
Summary: This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with 2 keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

FP6 Project overviews -- Keynote speakers -- Types to discipline interactions -- Calculi for distributed systems -- Flexible modeling -- Algorithms and systems for global computing -- Security, anonymity and type safety.

Print version record.

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with 2 keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.

English.

Powered by Koha