Foundations of Software Science and Computation Structures

17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Editors:

ISBN: 978-3-642-54829-1 (Print) 978-3-642-54830-7 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-28

    Equivalences of Pushdown Systems Are Hard

  3. Probabilistic Systems

    1. No Access

      Book Chapter

      Pages 29-42

      Active Diagnosis for Probabilistic Systems

    2. No Access

      Book Chapter

      Pages 43-57

      Analysis of Probabilistic Basic Parallel Processes

    3. No Access

      Book Chapter

      Pages 58-72

      Limit Synchronization in Markov Decision Processes

    4. No Access

      Book Chapter

      Pages 73-87

      Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes

  4. Semantics of Programming Languages

    1. No Access

      Book Chapter

      Pages 88-102

      Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types

    2. No Access

      Book Chapter

      Pages 103-118

      A Semantical and Operational Account of Call-by-Value Solvability

  5. Networks

    1. No Access

      Book Chapter

      Pages 119-133

      Network-Formation Games with Regular Objectives

    2. No Access

      Book Chapter

      Pages 134-148

      Playing with Probabilities in Reconfigurable Broadcast Networks

  6. Program Analysis

    1. No Access

      Book Chapter

      Pages 149-163

      Unsafe Order-2 Tree Languages Are Context-Sensitive

    2. No Access

      Book Chapter

      Pages 164-179

      Game Semantics for Nominal Exceptions

    3. No Access

      Book Chapter

      Pages 180-194

      Complexity of Model-Checking Call-by-Value Programs

  7. Games and Synthesis

    1. No Access

      Book Chapter

      Pages 195-209

      Resource Reachability Games on Pushdown Graphs

    2. No Access

      Book Chapter

      Pages 210-225

      Perfect-Information Stochastic Mean-Payoff Parity Games

    3. No Access

      Book Chapter

      Pages 226-241

      Latticed-LTL Synthesis in the Presence of Noisy Inputs

    4. No Access

      Book Chapter

      Pages 242-257

      The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies

  8. Compositional Reasoning

    1. No Access

      Book Chapter

      Pages 258-273

      On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations

    2. No Access

      Book Chapter

      Pages 274-288

      On Asymmetric Unification and the Combination Problem in Disjoint Theories

  9. Bisimulation

    1. No Access

      Book Chapter

      Pages 289-303

      Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

    2. No Access

      Book Chapter

      Pages 304-319

      Generalized Synchronization Trees

previous Page of 2