Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Theoretical Computer Science

7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings

Editors:

  1. Jos C. M. Baeten

    1. Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Ball

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Frank S. Boer

    1. Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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

Conference series link(s): TCS: IFIP International Conference on Theoretical Computer Science

Conference proceedings info: TCS 2012.

Sections

Buy it now

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

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 (28 papers)

  1. Front Matter

    PDF

  3. Static Single Information Form for Abstract Compilation

    • Davide Ancona, Giovanni Lagorio
    Pages 10-27

  4. Input-Driven Stack Automata

    • Suna Bensch, Markus Holzer, Martin Kutrib, Andreas Malcher
    Pages 28-42

  5. Probabilistic Inference and Monadic Second Order Logic

    • Marijke Hans L. Bodlaender
    Pages 43-56

  6. Cinderella versus the Wicked Stepmother

    • Marijke Hans L. Bodlaender, Cor A. J. Hurkens, Vincent J. J. Kusters, Frank Staals, Gerhard J. Woeginger, Hans Zantema
    Pages 57-71

  7. Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

    • Michele Boreale, Michela Paolini
    Pages 72-86

  9. A Context-Free Linear Ordering with an Undecidable First-Order Theory

    • Arnaud Carayol, Zoltán Ésik
    Pages 104-118

  10. Open Bisimulation for Quantum Processes

    • Yuxin Deng, Yuan Feng
    Pages 119-133

  11. A Modular LTS for Open Reactive Systems

    • Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
    Pages 134-148

  12. Unidirectional Channel Systems Can Be Tested

    • Petr Jančar, Prateek Karandikar, Philippe Schnoebelen
    Pages 149-163

  13. On Properties and State Complexity of Deterministic State-Partition Automata

    • Galina Jirásková, Tomáš Masopust
    Pages 164-178

  14. On Union-Free and Deterministic Union-Free Languages

    • Galina Jirásková, Benedek Nagy
    Pages 179-192

  15. A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions

    • Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
    Pages 193-208

  16. Formal Verification of Distributed Algorithms

    • Philipp Küfner, Uwe Nestmann, Christina Rickmann
    Pages 209-224

  17. A Temporal Logic for Multi-threaded Programs

    • Salvatore La Torre, Margherita Napoli
    Pages 225-239

  20. Modal Interface Automata

    • Gerald Lüttgen, Walter Vogler
    Pages 265-279
Back to top

Other Volumes

  1. Theoretical Computer Science

Back to top

About this book

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.
The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

    Jos C. M. Baeten, Frank S. Boer

  • Microsoft Research, Redmond, USA

    Tom Ball

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation