An edition of Foundations of Software Science and Computation Structures
(2013)
Foundations of Software Science and Computation Structures
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
by Frank Pfenning
Share
×Close
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.
Publish Date
2013
Publisher
Springer Berlin Heidelberg,
Imprint: Springer
Language
English
Pages
451
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Foundations of Software Science and Computation Structures: 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
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
3642370756 9783642370755
|
aaaa
Libraries near you:
WorldCat
|
2
Foundations of Software Science and Computation Structures
Feb 20, 2013, Springer
paperback
3642370748 9783642370748
|
zzzz
Libraries near you:
WorldCat
|
Book Details
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.
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 26, 2022 | Edited by ImportBot | import existing book |
| June 30, 2019 | Created by MARC Bot | import new book |