Book Volume 6604 2011

Foundations of Software Science and Computational Structures

14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings


ISBN: 978-3-642-19804-5 (Print) 978-3-642-19805-2 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. The Search for Structure in Quantum Computation

    1. Chapter

      Pages 1-11

      The Search for Structure in Quantum Computation

  3. Coalgebra and Computability

    1. Chapter

      Pages 12-26

      Coalgebraic Walks, in Quantum and Turing Computation

    2. Chapter

      Pages 27-41

      Similarity Quotients as Final Coalgebras

    3. Chapter

      Pages 42-56

      What Do Reversible Programs Compute?

  4. Type Theory

    1. Chapter

      Pages 57-71

      Irrelevance in Type Theory with a Heterogeneous Equality Judgement

    2. Chapter

      Pages 72-87

      When Is a Type Refinement an Inductive Type?

    3. Chapter

      Pages 88-107

      Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types

    4. Chapter

      Pages 108-122

      Realizability and Parametricity in Pure Type Systems

  5. Process Calculi

    1. Chapter

      Pages 123-137

      Sound Bisimulations for Higher-Order Distributed Process Calculus

    2. Chapter

      Pages 138-152

      Deriving Labels and Bisimilarity for Concurrent Constraint Programming

    3. Chapter

      Pages 153-167

      Ordinal Theory for Expressiveness of Well Structured Transition Systems

  6. Automata Theory

    1. Chapter

      Pages 168-183

      Alternation Elimination for Automata over Nested Words

    2. Chapter

      Pages 184-198

      Co-Büching Them All

    3. Chapter

      Pages 199-213

      Minimizing Deterministic Lattice Automata

    4. Chapter

      Pages 214-228

      Regularity and Context-Freeness over Word Rewriting Systems

    5. Chapter

      Pages 229-244

      Quantitative Robustness Analysis of Flat Timed Automata

    6. Chapter

      Pages 245-259

      A Game Approach to Determinize Timed Automata

    7. Chapter

      Pages 260-274

      A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes

    8. Chapter

      Pages 275-289

      Church Synthesis Problem for Noisy Input

    9. Chapter

      Pages 290-304

      Probabilistic Modal μ-Calculus with Independent Product

previous Page of 2