1 option
Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / edited by Helmut Seidl.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4423.
- Theoretical Computer Science and General Issues ; 4423
- Language:
- English
- Subjects (All):
- Software engineering.
- Computers.
- Computer logic.
- Logic, Symbolic and mathematical.
- Programming languages (Electronic computers).
- Software Engineering/Programming and Operating Systems.
- Theory of Computation.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Computation by Abstract Devices.
- Programming Languages, Compilers, Interpreters.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Theory of Computation.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Computation by Abstract Devices.
- Programming Languages, Compilers, Interpreters.
- Physical Description:
- 1 online resource (XVI, 379 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- Invited Talk
- Formal Foundations for Aspects
- Contributed Papers
- Sampled Universality of Timed Automata
- Iterator Types
- Types and Effects for Resource Usage Analysis
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- Formalising the ?-Calculus Using Nominal Logic
- The Rewriting Calculus as a Combinatory Reduction System
- Relational Parametricity and Separation Logic
- Model-Checking One-Clock Priced Timed Automata
- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems
- Optimal Strategy Synthesis in Stochastic Müller Games
- Generalized Parity Games
- Tree Automata with Memory, Visibility and Structural Constraints
- Enriched ?-Calculi Module Checking
- PDL with Intersection and Converse Is 2EXP-Complete
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- A Distribution Law for CCS and a New Congruence Result for the ?-Calculus
- On the Expressiveness and Complexity of ATL
- Polynomial Constraints for Sets with Cardinality Bounds
- A Lower Bound on Web Services Composition
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Semantic Barbs and Biorthogonality
- On the Stability by Union of Reducibility Candidates
- An Effective Algorithm for the Membership Problem for Extended Regular Expressions
- Complexity Results on Balanced Context-Free Languages
- Logical Reasoning for Higher-Order Functions with Local State.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-71389-0
- 9783540713890
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.