Powiedz znajomym o tym przedmiocie:
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition
Cliff B Jones
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Theoretical Computer Science and General Issues 2007 edition
Cliff B Jones
This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.
Marc Notes: Includes bibliographical references and index.; Also available in print.; Electronic reproduction.; UK: MyiLibrary; 2008. Table of Contents: Domain Theory: Practice and Theories A Discussion of Possible Research Topics.- Linking Semantic Models.- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.- Mobile Ambients with Timers and Types.- Automatic Refinement of Split Binary Semaphore.- Stepwise Development of Simulink Models Using the Refinement Calculus Framework.- Bisimulations for a Distributed Higher Order ?-Calculus.- A Complete and Compact Propositional Deontic Logic.- Verifying Lock-Freedom Using Well-Founded Orders.- Tree Components Programming: An Application to XML.- A Framework for Incorporating Trust into Formal Systems Development.- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.- Distributed Time-Asynchronous Automata.- Skolem Machines and Geometric Logic.- A Logical Calculus for Modelling Interferences.- Reflection and Preservation of Properties in Coalgebraic (bi) Simulations.- Controlling Process Modularity in Mobile Computing.- Failures: Their Definition, Modelling and Analysis.- C WS: A Timed Service-Oriented Calculus.- Regular Linear Temporal Logic.- Algebraic Semantics for Compensable Transactions.- Axiomatizing Extended Temporal Logic Fragments Via Instantiation.- Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.- Linear Context Free Languages.- FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.- On Equality Predicates in Algebraic Specification Languages.- Data-Distributions in PowerList Theory.- Quasi-interpretation Synthesis by Decomposition.- Composing Transformations to Optimize Linear Code.- Building Extended Canonizers by Graph-Based Deduction.- A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.- On the Expressive Power of QLTL.
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 12 września 2007 |
ISBN13 | 9783540752905 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 486 |
Wymiary | 155 × 235 × 25 mm · 693 g |
Język | French |
Redaktor | Jones, Cliff B. |
Redaktor | Liu, Zhiming |
Redaktor | Woodcock, Jones |
Więcej od Cliff B Jones
Zobacz wszystko od Cliff B Jones ( np. Paperback Book i Hardcover Book )