LEADER 05435nam 22007695 450 001 9910482956503321 005 20230406053333.0 010 $a3-540-75292-7 024 7 $a10.1007/978-3-540-75292-9 035 $a(CKB)1000000000491031 035 $a(SSID)ssj0000320362 035 $a(PQKBManifestationID)11279050 035 $a(PQKBTitleCode)TC0000320362 035 $a(PQKBWorkID)10248962 035 $a(PQKB)11408739 035 $a(DE-He213)978-3-540-75292-9 035 $a(MiAaPQ)EBC3063170 035 $a(MiAaPQ)EBC6694382 035 $a(Au-PeEL)EBL6694382 035 $a(PPN)123165423 035 $a(EXLCZ)991000000000491031 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheoretical Aspects of Computing - ICTAC 2007 $e4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /$fedited by Cliff B. Jones, Zhiming Liu, Jones Woodcock 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XI, 486 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4711 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75290-0 320 $aIncludes bibliographical references and index. 327 $aDomain 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. 330 $aThis book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4711 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 676 $a004 702 $aJones$b C. B$g(Cliff B.),$f1944- 702 $aLiu$b Zhiming$f1961- 702 $aWoodcock$b Jim 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910482956503321 996 $aTheoretical Aspects of Computing – ICTAC 2007$9771950 997 $aUNINA