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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Foundations of Software Science and Computation Structures by Frank Pfenning
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 27, 2022 | History
Edit
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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
451

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Mathematical Logic and Formal Languages, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Computer software

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
Feb 20, 2013, Springer
paperback
Libraries near you: WorldCat
Cover of: Foundations of Software Science and Computation Structures
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
  • Not in Library
Libraries near you: WorldCat

Add another edition?

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

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7794

Classifications

Dewey Decimal Class
005.131
Library of Congress
QA8.9-QA10.3, QA267-268.5

The Physical Object

Format
[electronic resource] :
Pagination
XXIII, 451 p. 51 illus.
Number of pages
451

ID Numbers

Open Library
OL27039661M
Internet Archive
foundationssoftw00haym
ISBN 13
9783642370755

Source records

Internet Archive item record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 27, 2022 Edited by ImportBot import existing book
August 24, 2020 Edited by ImportBot import existing book
June 30, 2019 Created by MARC Bot Imported from Internet Archive item record