Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Barkaoui, Kamel (Επιμελητής έκδοσης), Cavalcanti, Ana (Επιμελητής έκδοσης), Cerone, Antonio (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4281
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Software Engineering.

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academi...

Πίνακας περιεχομένων:

• 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.