000 05234nam a22006015i 4500
001 978-3-540-75292-9
003 DE-He213
005 20240730181634.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540752929
_9978-3-540-75292-9
024 7 _a10.1007/978-3-540-75292-9
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aTheoretical Aspects of Computing - ICTAC 2007
_h[electronic resource] :
_b4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /
_cedited by Cliff B. Jones, Zhiming Liu, Jones Woodcock.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aXI, 486 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4711
505 0 _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.
520 _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.
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9125634
650 0 _aCompilers (Computer programs).
_93350
650 0 _aSoftware engineering.
_94138
650 1 4 _aTheory of Computation.
_9125635
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9125636
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aSoftware Engineering.
_94138
700 1 _aJones, Cliff B.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9125637
700 1 _aLiu, Zhiming.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9125638
700 1 _aWoodcock, Jones.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9125639
710 2 _aSpringerLink (Online service)
_9125640
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540752905
776 0 8 _iPrinted edition:
_z9783540844433
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4711
_9125641
856 4 0 _uhttps://doi.org/10.1007/978-3-540-75292-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91003
_d91003