عنوان

Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

Title Proper

Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea

Place of Publication, Distribution, etc.

Boston

Name of Publisher, Distributor, etc.

Kluwer Academic Publishers

Date of Publication, Distribution, etc.

c2001

Specific Material Designation and Extent of Item

xii, 458 p. : ill. ; 24 cm.

Text of Note

Includes bibliographical references

Text of Note

edited by Myungchul Kim ... ]et al.[

Text of Note

1

Text of Note

Machine generated contents note: Part One -- FORMAL METHODS IN SOFTWARE DEVELOPMENT I -- 1. Automated Derivation of ILP Implementations from SDL 3 -- Specifications -- S. Twarok, P. Langendoerfer and H. Koenig -- 2. Stepwise Design with Message Sequence Charts 91 -- F. Khendek, S. Bourduas andD. Vincent -- 3. Formal Synthesis and Control of Soft Embedded Real-Time 53 -- Systems -- P.-A. Hsiung -- Part Two -- DISTRIBUTED SYSTEMS TESTING -- 4. Towards a Formal Framework for Interoperability Testing 35 -- C. Viho, S. Barbin and L. Tanguy -- 5. Distributed Test using Logical Clock 96 -- Y. J. Choi, H. Y. Youn, S. Seol and S. J. Yoo -- 6. Diagnosing Multiple Faults in Communicating Finite State 58 -- Machines -- K. El-Fakih, N. Yevtushenko and G. v. Bochmann -- 7. From Active to Passive: Progress in Testing of Internet 101 -- Routing Protocols -- J. Wu, Y. Zhao andX Yin -- Part Three -- TIMED AUTOMATA -- 8. Time and Action Lock Freedom Properties for Timed 911 -- Automata -- H. Bowman -- 9. Compiling Real-Time Scenarios into a Timed Automaton 531 -- A. Salah, R. Dssouli and G. Lapalme -- 01. Deriving Parameter Conditions for Periodic Timed Automata 151 -- Satisfying Real-Time Temporal Logic Formulas -- A. Nakata and T. Higashino -- Part Four -- PROCESS ALGEBRA -- 11. PAMR: A Process Algebra for the Management of 961 -- Resources in Concurrent Systems -- M. Nutiez and I. Rodriguez -- 21. A Symbolic Semantics and Bisimulation for Full LOTOS 581 -- M. Calder and C. Shankland -- 31. Implementing a Modal Logic over Data and Processes using XTL 102 -- J. Bryans and C. Shankland -- Part Five -- APPLICATIONS OF VERIFICATION -- 41. Formal Verification of Peephole Optimizations in 912 -- Asynchronous Circuits -- X Kong and R. Negulescu -- 51. Symbolic Verification of Complex Real-Time Systems with 532 -- Clock-Restriction Diagram -- F. Wang -- 61. Verifying a Sliding Window Protocol using PVS 152 -- V. Rusu -- Part Six -- TEST SEQUENCE DERIVATION -- 71. Test Sequence Selection 962 -- D. Lee and R. Hao -- 81. Executable Test Sequence for the Protocol Data Flow Property 582 -- W.-H. Chen -- 91. A Method to Generate Conformance Test Sequences for 103 -- FSM with Timer System Call -- T. Mori, K. Tokuda, H. Tada, M. Higuchi and T. Higashino -- Part Seven -- FORMAL METHODS IN SOFTWARE DEVELOPMENT H -- 02. A Tool for Generating Specifications from a Family of Formal 913 -- Requirements -- J. Bredereke -- 12. Patterns and Rules for Behavioural Subtyping 533 -- H. Wehrheim -- Part Eight -- THEORIES OF VERIFICATION -- 22. Verification of Dense Time Properties using Theories of 353 -- Untimed Process Algebra -- M. Luukkainen -- 32. Testing Liveness Properties: Approximating Liveness 963 -- Properties by Safety Properties -- U. Ultes-Nitsche and S. St James -- 42. SVL: A Scripting Language for Compositional Verification 773 -- H. Garavel and F. Lang -- Part Nine -- INVITED PAPERS -- 52. On Formal Techniques in Protocol Engineering - Example 593 -- Challenges -- D. Bjorner -- 62. A PKI-Based End-to-End Secure Infrastructure for Mobile 124 -- E-Commerce -- T.-W. Cheungand S. T. Chanson -- 72. A Family of Resource-Bound Real-Time Process Algebras 344 -- I. Lee, J.-Y. Choi, H. H. Kwak, A. Philippou and 0. Sokolsky -- 82. Survivability Analysis of Networked Systems 954 -- J. M. Wing

Entry Element

Congresses ، Formal methods )Computer science(

Entry Element

Congresses ، Electronic data processing - Distributed processing

Entry Element

Congresses ، Computer network protocols

Class number

Relator Code

AU

AU Kim, Myungchul

TI