cam a22 2 4500 317151274 CHVBK 20201018165205.0 m d cr ||||||||||| 140625s2014 gw s 1 eng 978-3-642-54829-1 978-3-642-54830-7 (ebook) 10.1007/978-3-642-54830-7 doi (NEBIS)010157898 (SERSOL)ssj0001187188 (IDSSG)000655714 (WaSeSS)ssj0001187188 Springer-MARC SzZuIDS NEBIS ETH-BIB QA76.9.L63 QA76.5913 QA76.63 UM bicssc UYF bicssc COM051000 bisacsh COM036000 bisacsh 005.1015113 23 DEAGI8E932F8A84648E73C1257FCD003E4429 iCapture Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014 : Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : Proceedings Anca Muscholl (ed.) Berlin, Heidelberg Springer Berlin Heidelberg 2014 Online-Ressource text file PDF rda Lecture notes in computer science 8412 Advanced research in computing and software science (ARCoSS) Equivalences of Pushdown Systems Are Hard -- Active Diagnosis for Probabilistic Systems -- Analysis of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost-Bounded Reachability Probability on Continuous-Time -- Markov Decision Processes -- Type Reconstruction for the Linear [pi]-Calculus with Composite and Equi-Recursive Types -- A Semantical and Operational Account of Call-by-Value Solvability -- Network-Formation Games with Regular Objectives -- Playing with Probabilities in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive -- Game Semantics for Nominal Exceptions -- Complexity of Model-Checking Call-by-Value Programs -- Resource Reachability Games on Pushdown Graphs -- Perfect-Information Stochastic Mean-Payoff Parity Games -- Latticed-LTL Synthesis in the Presence of Noisy Inputs -- The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies -- On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations -- On Asymmetric Unification and the Combination Problem in Disjoint Theories -- Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules -- Generalized Synchronization Trees -- Bisimulations for Communicating Transactions -- Upper-Expectation Bisimilarity and Lukasiewicz [mu]-Calculus -- Interacting Bialgebras Are Frobenius -- Generalized Eilenberg Theorem I: Local Varieties of Languages -- Combining Bialgebraic Semantics and Equations -- Models of a Non-associative Composition -- Foundations for Decision Problems in Separation Logic with General Inductive Predicates -- A Coalgebraic Approach to Linear-Time Logics -- A Relatively Complete Calculus for Structured Heterogeneous Specifications. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming. SOFTWARE ENGINEERING ger (ETHUDK)000043018 ethudk THEORETISCHE INFORMATIK ger (ETHUDK)000052054 ethudk THEORIE DER PROGRAMMIERUNG ger (ETHUDK)000013697 ethudk Computer science Software engineering Logic design Online-Ressource gnd-carrier Konferenzschrift Grenoble 2014 gnd-content u THEORETISCHE INFORMATIK ger 004*06 nebis E1 u THEORIE DER PROGRAMMIERUNG ger 004*04*02 nebis E1 u SOFTWARE ENGINEERING ger 004*04*04 nebis E1 u INFORMATIQUE THÉORIQUE fre 004*06 nebis E1 u THEORETICAL COMPUTER SCIENCE eng 004*06 nebis E1 u THÉORIE DE LA PROGRAMMATION fre 004*04*02 nebis E1 u THEORY OF PROGRAMMING eng 004*04*02 nebis E1 u GÉNIE LOGICIEL fre 004*04*04 nebis E1 u SOFTWARE ENGINEERING eng 004*04*04 nebis E1 Muscholl Anca Foundations of Software Science and Computation Structures (DE-588)1092052372 European Joint Conferences on Theory and Practice of Software (DE-588)1092051732 Printed edition 9783642548291 http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783642548291 Online via SFX Volltext BK020853 XK020053 XK020000 BK020053 XK020053 XK020000 EText nebis ED Computer Science (Springer-11645) nebis ER E01-Springer201406 nebis ER ebphzh eb-Springer idsuzh U2 Update201606 idsuzh U2 E65-Springer201606 nebis ER Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates SpringerLINK Lecture Notes in Computer Science Contemporary (1997-2014) noalma ids I 096 E01-20140818 094 E01-20140818 UPHZHEBO UPHZH-201606 Kongress = Congrès 2014 Grenoble NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655714 IDSBB A145 A145 145VT IDSBB B405 B405 405VT NEBIS 490 -- Lecture notes in computer science Advanced research in computing and software science (ARCoSS) 8412 NEBIS 700 1- Muscholl Anca NEBIS 711 2- Foundations of Software Science and Computation Structures (DE-588)1092052372 NEBIS 711 2- European Joint Conferences on Theory and Practice of Software (DE-588)1092051732 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783642548291 Online via SFX Volltext IDSBB 100 1- Muscholl Anca editor IDSBB 490 1- Lecture Notes in Computer Science 0302-9743 8412 IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783642548291 IDSBB 856 40 https://link.springer.com/10.1007/978-3-642-54830-7 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/openurl?genre=book&isbn=978-3-642-54829-1 Uni Bern: Volltext IDSSG 490 0- Lecture Notes in Computer Science 8412 IDSSG 700 1- Muscholl Anca IDSSG 856 4- https://doi.org/10.1007/978-3-642-54830-7 Full text for the University of St. Gallen SWISSBIB 15426573X