Theoretical Aspects of Computing - ICTAC 2005计算的理论方面 - ICTAC 2005 /会议录

出版时间：2005-11  出版社：北京燕山出版社  作者：Hung, D. V.; Hung, Dang Van; Wirsing, Martin  页数：614  

内容概要

The LNCS series reports state-of-the-art restilts in computer science research, development, and education, at a high lewl and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as wetl as with prestigious organizations andsocieties, LNCS has grown into the most comprehensiye computer science research forum available.    The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range 0f computer science ard information technology including interdisciplinary topics in a vatety of application fields. The type of materia! published traditionatly includes                            -proceedings-(published:in time for the lrespective conference)    -post-proceedings (consisting of thorodghly revised final full papers)    -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)

书籍目录

Invited Speakers  A Rewriting Logic Sampler  Codes and Length-Increasing Transitive Binary Relations  Languages and Process Calculi for Network Aware Programming Short Summary  Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks  Component-Based Software EngineeringFormal Languages  Outfix-Free Regular Languages and Prime Outfix-Free Decomposition  Solving First Order Formulae of Pseudo-Regular Theory  Splicing Array Grammar SystemsComputer Science Logics  Compositionality of Fixpoint Logic with Chop  An SLD-Resolution Calculus for Basic Serial Multimodal Logics  Upside-Down Transformation in SOL/Connection Tableaux and Its ApplicationProgram Construction  On the Stability Semantics of Combinational Programs  Generating C Code from LOGS Specifications  Formalizing the Debugging Process io  Finding Resource Bounds in theReal-Time Systems  The Timer Cascade: Functional Modelling and Real Time Calculi  Symbolic Model Checking of Finite Precision Timed Automata  Concurrency and Refinement  Covarieties of Coalgebras: Comonads and Coequations  Linking Theories of Concurrency  On Cool Congruence Formats for Weak Bisimulations  Externalized and Michel Bidoit, Internalized Notions of Behavioral Refinement Roll HenniekerSoftware SecuityQuantiative LogicsObject-Orientation and COmponent SystemsModel-Checking and AlgorithransApplied Logics and Computing TheoryTutorials at ICTAC 2005Author Index