Skip to main content
  • Conference proceedings
  • © 2010

Theoretical Computer Science

6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

  • Fast track conference proceeding
  • Unique visibility
  • State of the art research

Conference proceedings info: TCS 2010.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (27 papers)

  1. Front Matter

  2. Convexity, Duality and Effects

    • Bart Jacobs
    Pages 1-19
  3. Entropy and Attack Models in Information Flow

    • Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
    Pages 53-54
  4. Safe Equivalences for Security Properties

    • Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
    Pages 55-70
  5. On Probabilistic Alternating Simulations

    • Chenyi Zhang, Jun Pang
    Pages 71-85
  6. Probabilistic Mobility Models for Mobile and Wireless Networks

    • Lei Song, Jens Chr. Godskesen
    Pages 86-100
  7. Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility

    • Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro
    Pages 111-124
  8. Slicing Behavior Tree Models for Verification

    • Nisansala Yatapanage, Kirsten Winter, Saad Zafar
    Pages 125-139
  9. Online Dictionary Matching for Streams of XML Documents

    • Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen
    Pages 153-164
  10. The Duality of Computation under Focus

    • Pierre-Louis Curien, Guillaume Munch-Maccagnoni
    Pages 165-181
  11. Polarized Resolution Modulo

    • Gilles Dowek
    Pages 182-196
  12. A Logic on Subobjects and Recognizability

    • H. J. Sander Bruggink, Barbara König
    Pages 197-212
  13. Proof System for Applied Pi Calculus

    • Jia Liu, Huimin Lin
    Pages 229-243
  14. Concurrent Pattern Calculus

    • Thomas Given-Wilson, Daniele Gorla, Barry Jay
    Pages 244-258
  15. Initial Segment Complexities of Randomness Notions

    • Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
    Pages 259-270

Other Volumes

  1. Theoretical Computer Science

Editors and Affiliations

  • Department of Computer Science, University of Auckland, Auckland, New Zealand

    Cristian S. Calude

  • School of Electronics and Computer Science, University of Southampton, Southampton, UK

    Vladimiro Sassone

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access