000 04488nam a22003975i 4500
001 298333
003 MX-SnUAN
005 20160429155459.0
007 cr nn 008mamaa
008 150903s2007 gw | o |||| 0|eng d
020 _a9783540752929
_99783540752929
024 7 _a10.1007/9783540752929
_2doi
035 _avtls000351060
039 9 _a201509030503
_bVLOAD
_c201405060244
_dVLOAD
_y201402171112
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA75.5-76.95
100 1 _aJones, Cliff B.
_eeditor.
_9322131
245 1 0 _aTheoretical Aspects of Computing – ICTAC 2007 :
_b4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
_cedited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _axI, 483 páginas
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4711
500 _aSpringer eBooks
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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aLiu, Zhiming.
_eeditor.
_9329401
700 1 _aWoodcock, Jim.
_eeditor.
_9331319
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540752905
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-75292-9
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c298333
_d298333