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.
Erscheinungsdatum: 14.03.2012

lgrsnf/Cs_Computer science/CsLn_Lecture notes/F/Foundations of Software Science and Computational Structures, 15 conf., FOSSACS 2012 (LNCS7213, Springer, 2012)(ISBN 9783642287282)(O)(497s)_CsLn_.pdf

nexusstc/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/2113de566ea052b78337ed374baa8330.pdf

scihub/10.1007/978-3-642-28729-9.pdf

zlib/Computers/Computer Science/Andrea Calì, Georg Gottlob, Giorgio Orsi (auth.), Lars Birkedal (eds.)/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. Proceedin_1314228.pdf

Foundations of Software Science and Computational Structures : 15th international conference, FOSSACS 2012, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings

Lars Birkedal; FOSSACS (15, 2012, Tallinn)

edited by Lars Birkedal

FOSSACS (Conference)

Spektrum Akademischer Verlag. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Springer Healthcare Ltd

Lecture Notes in Computer Science -- 7213, Berlin, Heidelberg, Germany, 2012

Lecture notes in computer science, 7213, New York, ©2012

Lecture Notes in Computer Science, Alemania, 2012

Springer Nature, Berlin, Heidelberg, 2012

Germany, Germany

Kolxo3 -- 10

lg916636

{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["364228728X","3642287298","9783642287282","9783642287299"],"issns":["0302-9743","1611-3349"],"last_page":484,"publisher":"Springer","series":"Lecture Notes in Computer Science 7213 Security and Cryptology"}

MiU

Front Matter....Pages -
Querying UML Class Diagrams....Pages 1-25
Bicategories of Concurrent Games....Pages 26-41
Fibrational Induction Meets Effects....Pages 42-57
A Coalgebraic Perspective on Minimization and Determinization....Pages 58-73
When Is a Container a Comonad?....Pages 74-88
Well-Pointed Coalgebras (Extended Abstract)....Pages 89-103
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs....Pages 104-118
Applicative Bisimulations for Delimited-Control Operators....Pages 119-134
Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata....Pages 135-149
Improved Ramsey-Based Büchi Complementation....Pages 150-164
Extending ${\cal H}_1$ -Clauses with Path Disequalities....Pages 165-179
Brookes Is Relaxed, Almost!....Pages 180-194
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes....Pages 195-209
Is It a “Good” Encoding of Mixed Choice?....Pages 210-224
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus....Pages 225-239
Narcissists Are Easy, Stepmothers Are Hard....Pages 240-254
On Nominal Regular Languages with Binders....Pages 255-269
Robustness of Structurally Equivalent Concurrent Parity Games....Pages 270-285
Subgame Perfection for Equilibria in Quantitative Reachability Games....Pages 286-300
Concurrent Games with Ordered Objectives....Pages 301-315
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators....Pages 316-330
On Distributability of Petri Nets....Pages 331-345
Functions as Session-Typed Processes....Pages 346-360
Deriving Bisimulation Congruences for Conditional Reactive Systems....Pages 361-375
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time....Pages 376-390
Model Checking Languages of Data Words....Pages 391-405
Branching-Time Model Checking of Parametric One-Counter Automata....Pages 406-420
Synthesizing Probabilistic Composers....Pages 421-436
On the Complexity of Computing Probabilistic Bisimilarity....Pages 437-451
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation....Pages 452-466
On the Complexity of the Equivalence Problem for Probabilistic Automata....Pages 467-481
Back Matter....Pages -

Annotation 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

2012-12-29