Skip to main content
SpringerLink
Log in
Book cover

Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Lars Birkedal

    1. IT University of Copenhagen, Copenhagen, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7213)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FoSSaCS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Querying UML Class Diagrams

    • Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
    Pages 1-25

  3. Bicategories of Concurrent Games

    • Glynn Winskel
    Pages 26-41

  4. Fibrational Induction Meets Effects

    • Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann
    Pages 42-57

  5. A Coalgebraic Perspective on Minimization and Determinization

    • Jiří Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
    Pages 58-73

  6. When Is a Container a Comonad?

    • Danel Ahman, James Chapman, Tarmo Uustalu
    Pages 74-88

  7. Well-Pointed Coalgebras (Extended Abstract)

    • Jiří Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
    Pages 89-103

  8. Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs

    • Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
    Pages 104-118

  9. Applicative Bisimulations for Delimited-Control Operators

    • Dariusz Biernacki, Sergueï Lenglet
    Pages 119-134

  10. Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata

    • Sebastian Preugschat, Thomas Wilke
    Pages 135-149

  11. Improved Ramsey-Based Büchi Complementation

    • Stefan Breuers, Christof Löding, Jörg Olschewski
    Pages 150-164

  12. Extending \({\cal H}_1\)-Clauses with Path Disequalities

    • Helmut Seidl, Andreas Reuß
    Pages 165-179

  13. Brookes Is Relaxed, Almost!

    • Radha Jagadeesan, Gustavo Petri, James Riely
    Pages 180-194

  14. Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

    • Marco Bernardo, Rocco De Nicola, Michele Loreti
    Pages 195-209

  15. Is It a “Good” Encoding of Mixed Choice?

    • Kirstin Peters, Uwe Nestmann
    Pages 210-224

  16. Event Structure Semantics of Parallel Extrusion in the Pi-Calculus

    • Silvia Crafa, Daniele Varacca, Nobuko Yoshida
    Pages 225-239

  17. Narcissists Are Easy, Stepmothers Are Hard

    • Daniel Gorín, Lutz Schröder
    Pages 240-254

  18. On Nominal Regular Languages with Binders

    • Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
    Pages 255-269

  19. Robustness of Structurally Equivalent Concurrent Parity Games

    • Krishnendu Chatterjee
    Pages 270-285

  20. Subgame Perfection for Equilibria in Quantitative Reachability Games

    • Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert
    Pages 286-300
Back to top

Other volumes

  1. Foundations of Software Science and Computational Structures

Keywords

About this book

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

Editors and Affiliations

  • IT University of Copenhagen, Copenhagen, Denmark

    Lars Birkedal

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation