LEADER 05318nam 22007575 450 001 996465285203316 005 20230222022645.0 010 $a3-540-85762-1 024 7 $a10.1007/978-3-540-85762-4 035 $a(CKB)1000000000491032 035 $a(SSID)ssj0000355637 035 $a(PQKBManifestationID)11269721 035 $a(PQKBTitleCode)TC0000355637 035 $a(PQKBWorkID)10340975 035 $a(PQKB)10564858 035 $a(DE-He213)978-3-540-85762-4 035 $a(MiAaPQ)EBC3063568 035 $a(MiAaPQ)EBC6511718 035 $a(Au-PeEL)EBL6511718 035 $a(OCoLC)288440384 035 $a(PPN)128126353 035 $a(EXLCZ)991000000000491032 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheoretical Aspects of Computing - ICTAC 2008$b[electronic resource] $e5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /$fedited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XI, 455 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5160 300 $aIncludes index. 311 $a3-540-85761-3 320 $aIncludes bibliographical references and index. 327 $aUsing Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules -- The Three Platonic Models of Divergence-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test Algorithms for One-Unambiguous Regular Expressions -- Refinement of Kripke Models for Dynamics -- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers -- A Theory of Pointers for the UTP -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables -- Towards Efficient Verification of Systems with Dynamic Process Creation -- An Observational Model for Transactional Calculus of Services Orchestration -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway Decision Graphs -- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs -- Guided Test Generation from CSP Models -- Relaxing Goodness Is Still Good -- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time -- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems -- Testing Concurrent Objects with Application-Specific Schedulers -- A Theory of Bounded Fair Scheduling -- Fair Exchange Is Incomparable to Consensus -- Automatic Generation of CSP || B Skeletons from xUML Models -- Bounded Model Checking for Partial Kripke Structures -- Verification of Linear Duration Invariants by Model Checking CTL Properties -- Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks -- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation -- Instantiation for Parameterised Boolean Equation Systems. 330 $aThis book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. The 27 revised full papers were carefully reviewed and selected from over 70 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 ;$v5160 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer science 606 $aAlgorithms 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aAlgorithms 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aAlgorithms. 615 14$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aAlgorithms. 676 $a005.11 702 $aHaxthausen$b Anne E. 702 $aFitzgerald$b John$f1965- 702 $aYenigun$b Husnu 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465285203316 996 $aTheoretical Aspects of Computing - ICTAC 2008$9774037 997 $aUNISA