Foundations of Software Science and Computation Structures [E-Book] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning.
Pfenning, Frank.
Berlin, Heidelberg : Springer, 2013
XXIII, 451 p. 51 illus. digital.
Lecture notes in computer science ; 7794
Full Text
Table of Contents:
  • Pattern Graphs and Rule-Based Models: The Semantics of Kappa
  • History-Register Automata
  • Fatal Attractors in Parity Games
  • On Unique Decomposition of Processes in the Applied π-Calculus
  • Bounded Context-Switching and Reentrant Locking
  • Reachability of Communicating Timed Processes
  • Modular Bisimulation Theory for Computations and Values
  • Checking Bisimilarity for Attributed Graph Transformation
  • Comodels and Effects in Mathematical Operational Semantics
  • Preorders on Monads and Coalgebraic Simulations
  • A Proof System for Compositional Verification of Probabilistic Concurrent Processes
  • Partiality and Recursion in Higher-Order Logic
  • Some Sahlqvist Completeness Results for Coalgebraic Logics
  • Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
  • On Monadic Parametricity of Second-Order Functionals
  • Deconstructing General References via Game Semantics
  • Separation Logic for Non-local Control Flow and Block Scope Variables
  • The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
  • Deciding Definability by Deterministic Regular Expressions
  • Type-Based Complexity Analysis for Fork Processes
  • Pure Pointer Programs and Tree Isomorphism
  • A Language for Differentiable Functions
  • Computing Quantiles in Markov Reward Models
  • Parameterized Weighted Containment
  • Weighted Specifications over Nested Words
  • An Algebraic Presentation of Predicate Logic
  • Strategies as Profunctors
  • Generalised Name Abstraction for Nominal Sets.