LEADER 04672nam  22006855  450 
001 996465922003316
005 20230406062932.0
010   $a3-540-78499-3
024 7 $a10.1007/978-3-540-78499-9
035   $a(CKB)1000000000490589
035   $a(SSID)ssj0000317776
035   $a(PQKBManifestationID)11245541
035   $a(PQKBTitleCode)TC0000317776
035   $a(PQKBWorkID)10294626
035   $a(PQKB)10447931
035   $a(DE-He213)978-3-540-78499-9
035   $a(MiAaPQ)EBC3068721
035   $a(PPN)125218419
035   $a(EXLCZ)991000000000490589
100   $a20100301d2008      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Software Science and Computational Structures$b[electronic resource] $e11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings /$fedited by Roberto Amadio
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (XV, 508 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4962
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-78497-7 
320   $aIncludes bibliographical references and index.
327   $aFinding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic Games with Few Random Vertices Are Easy to Solve -- The Complexity of Nash Equilibria in Infinite Multiplayer Games -- Stochastic Games with Lossy Channels -- Simulation Hemi-metrics between Infinite-State Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract) -- The ?-Regular Post Embedding Problem -- Complexity of Decision Problems for Mixed and Modal Specifications -- Classes of Tree Homomorphisms with Decidable Preservation of Regularity -- A Kleene-Schützenberger Theorem for Weighted Timed Automata -- Robust Analysis of Timed Automata Via Channel Machines -- The Common Fragment of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal Deconstruction of Access Control Logics -- Coalgebraic Logic and Synthesis of Mealy Machines -- The Microcosm Principle and Concurrency in Coalgebra -- Systems of Equations Satisfied in All Commutative Finite Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains -- Prevision Domains and Convex Powercones -- RPO, Second-Order Contexts, and ?-Calculus -- Erasure and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language with Dependent Types -- Strong Normalisation of Cut-Elimination That Simulates ?-Reduction -- Symbolic Semantics Revisited -- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model Checking Freeze LTL over One-Counter Automata.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4962
606   $aComputer science
606   $aMachine theory
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aTheory of Computation
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aCompilers and Interpreters
606   $aSoftware Engineering
615  0$aComputer science.
615  0$aMachine theory.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615 14$aTheory of Computation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
676   $a003
702   $aAmadio$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary)
906   $aBOOK
912   $a996465922003316
996   $aFoundations of Software Science and Computational Structures$9772755
997   $aUNISA