Foundations of Software Science and Computation Structures [[electronic resource] ] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / / edited by Igor Walukiewicz

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
• Edizione: 1st ed. 2004.
• Descrizione fisica: 1 online resource (XIV, 530 p.)
• Disciplina: 005
• Soggetto topico: Software engineering; Computer logic; Programming languages (Electronic computers); Computers; Mathematical logic; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Mathematical Logic and Formal Languages
• Persona (resp. second.): WalukiewiczIgor
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: Invited Contributions -- Intruder Theories (Ongoing Work) -- Theories for the Global Ubiquitous Computer -- Contributed Papers -- Choice in Dynamic Linking -- Soft lambda-Calculus: A Language for Polynomial Time Computation -- On the Existence of an Effective and Complete Inference System for Cryptographic Protocols -- Hypergraphs and Degrees of Parallelism: A Completeness Result -- Behavioral and Spatial Observations in a Logic for the ?-Calculus -- Election and Local Computations on Edges -- Decidability of Freshness, Undecidability of Revelation -- LTL over Integer Periodicity Constraints -- Unifying Recursive and Co-recursive Definitions in Sheaf Categories -- Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting -- A Denotational Account of Untyped Normalization by Evaluation -- On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds -- Specifying and Verifying Partial Order Properties Using Template MSCs -- Angelic Semantics of Fine-Grained Concurrency -- On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi -- safeDpi: A Language for Controlling Mobile Code -- Distance Desert Automata and the Star Height One Problem -- Adhesive Categories -- A Game Semantics of Local Names and Good Variables -- Partial Correctness Assertions Provable in Dynamic Logics -- Polynomials for Proving Termination of Context-Sensitive Rewriting -- Bisimulation on Speed: Lower Time Bounds -- On Recognizable Timed Languages -- Tree Transducers and Tree Compressions -- On Term Rewriting Systems Having a Rational Derivation -- Duality for Labelled Markov Processes -- Electoral Systems in Ambient Calculi -- Strong Normalization of -Calculus with Explicit Substitutions -- Canonical Models for Computational Effects -- Reasoning about Dynamic Policies -- Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols -- Strong Bisimulation for the Explicit Fusion Calculus -- Perfect-Information Stochastic Parity Games -- A Note on the Perfect Encryption Assumption in a Process Calculus.
• Sommario/riassunto: ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues inv- ved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
• Titolo autorizzato: Foundations of Software Science and Computation Structures
• ISBN: 1-280-30713-7; 9786610307135; 3-540-24727-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465550103316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2987