Theoretical Aspects of Computing - new book

EAN (ISBN-13): 9783642148088
Publishing year: 2010
Publisher: Springer-Verlag GmbH

Book in our database since 2016-01-07T03:57:22-05:00 (New York)
Detail page last modified on 2023-03-16T08:22:14-04:00 (New York)
ISBN/EAN: 9783642148088

ISBN - alternate spelling:
978-3-642-14808-8
Alternate spelling and related search-keywords:
Book author: marie, cavalcanti, david claude, deharbe
Book title: colloquium international

---

Information from Publisher

Author: Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Title: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Aspects of Computing - 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Publisher: Springer; Springer Berlin
397 Pages
Publishing year: 2010-08-21
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 397 p. 60 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; CSP; LA; XML; algorithms; ants; arithmetic operations; category theory; coalgebra; component based system; concurrency; fault tolerance; formal desc; high level petri nets; logic; testing; C; Theory of Computation; Computer Science; BC

Invited Papers and Abstract.- Invariants and Well-Foundedness in Program Algebra.- A Theory of Software Product Line Refinement.- The TLA?+? Proof System: Building a Heterogeneous Verification Platform.- Grammars.- Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution.- Tracking Down the Origins of Ambiguity in Context-Free Grammars.- Semantics.- Prioritized slotted-Circus.- A Denotational Semantical Model for Orc Language.- An Extended cCSP with Stable Failures Semantics.- Preference and Non-deterministic Choice.- Modelling.- Material Flow Abstraction of Manufacturing Systems.- Specification and Verification of a MPI Implementation for a MP-SoC.- Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software.- Testing of Abstract Components.- Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.- Analyzing a Formal Specification of Mondex Using Model Checking.- Formal Modelling of Separation Kernel Components.- Mechanized Verification with Sharing.- Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking.- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.- Logics.- Complete Calculi for Structured Specifications in Fork Algebra.- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.- Characterizing Locality (Encapsulation) with Bisimulation.- Justification Logic and History Based Computation.- Algorithms and Types.- A Class of Greedy Algorithms and Its Relation to Greedoids.- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types.- A Modality for Safe Resource Sharing andCode Reentrancy.
Up to date results Fast conference prceedings State-of-the-art report