04672nam 22006855 450 99646592200331620230406062932.03-540-78499-310.1007/978-3-540-78499-9(CKB)1000000000490589(SSID)ssj0000317776(PQKBManifestationID)11245541(PQKBTitleCode)TC0000317776(PQKBWorkID)10294626(PQKB)10447931(DE-He213)978-3-540-78499-9(MiAaPQ)EBC3068721(PPN)125218419(EXLCZ)99100000000049058920100301d2008 u| 0engurnn|008mamaatxtccrFoundations of Software Science and Computational Structures[electronic resource] 11th 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 /edited by Roberto Amadio1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (XV, 508 p.) Theoretical Computer Science and General Issues,2512-2029 ;4962Bibliographic Level Mode of Issuance: Monograph3-540-78497-7 Includes bibliographical references and index.Finding 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.Theoretical Computer Science and General Issues,2512-2029 ;4962Computer scienceMachine theoryCompilers (Computer programs)Software engineeringTheory of ComputationComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryCompilers and InterpretersSoftware EngineeringComputer science.Machine theory.Compilers (Computer programs).Software engineering.Theory of Computation.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Compilers and Interpreters.Software Engineering.003Amadio Robertoedthttp://id.loc.gov/vocabulary/relators/edtETAPS 2008(2008 :Budapest, Hungary)BOOK996465922003316Foundations of Software Science and Computational Structures772755UNISA01451aam 2200385I 450 991071057650332120160426110501.0GOVPUB-C13-58219f617b45e9b4ea72fb47d05a0466(CKB)5470000002477529(OCoLC)947843965(EXLCZ)99547000000247752920160426d1984 ua 0engrdacontentrdamediardacarrierThermal and mechanical properties of polyurethane foams and a survey of insulating concretes at cryogenic temperatures /L. L. Sparks; J. M. ArvidsonGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,1984.1 online resourceNBSIR ;84-30111984.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Sparks Larry L1388181Arvidson J. M1388180Sparks Larry L1388181United States.National Bureau of Standards.NBSNBSGPOBOOK9910710576503321Thermal and mechanical properties of polyurethane foams and a survey of insulating concretes at cryogenic temperatures3533086UNINA