Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] :Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.
by Barkaoui, Kamel [editor.]; Cavalcanti, Ana [editor.]; Cerone, Antonio [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 4281Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: XV, 371 p. Also available online. online resource.ISBN: 9783540488163.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Computation by Abstract Devices | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Software Engineering | Computer Communication NetworksDDC classification: 004.0151 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA75.5-76.95 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| K7000-7720.22 Tradition and Change in Administrative Law | QE1-996.5 Soils of Volcanic Regions in Europe | QC173.45-173.458 Quantum Chemistry of Solids | QA75.5-76.95 Theoretical Aspects of Computing - ICTAC 2006 | QC221-246 Auralization | QA273.A1-274.9 Forward-Backward Stochastic Differential Equations and their Applications | R895-920 Paleoradiology |
Invited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks -- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa -- A Topological Approach of the Web Classification -- Concurrency -- Bisimulation Congruences in the Calculus of Looping Sequences -- Stronger Reduction Criteria for Local First Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis of Security Protocols -- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems -- Thread-Modular Verification Is Cartesian Abstract Interpretation -- Formal Languages -- Capture-Avoiding Substitution as a Nominal Algebra -- Prime Decomposition Problem for Several Kinds of Regular Codes -- A New Approach to Determinisation Using Bit-Parallelism -- Logic and Type Theory -- Proving ATL* Properties of Infinite-State Systems -- Type Safety for FJ and FGJ -- Partizan Games in Isabelle/HOLZF -- Proof-Producing Program Analysis -- Real-Time and Mobility -- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting -- Interesting Properties of the Real-Time Conformance Relation tioco -- Model Checking Duration Calculus: A Practical Approach -- Spatio-temporal Model Checking for Mobile Real-Time Systems -- Tutorials: Extended Abstracts -- Tutorial on Formal Methods for Distributed and Cooperative Systems -- Decision Procedures for the Formal Analysis of Software.
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on semantics, concurrency, model checking, formal languages, logics and type theory, as well as real-time and mobility.
There are no comments for this item.