MARC Record from Library of Congress

LEADER: 02801cam a22002774a 4500
001 2001025501
003 DLC
005 20050308181135.0
008 010228s2001 enka b 001 0 eng
010 $a 2001025501
020 $a0521771846
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.D5$bF662 2001
082 00 $a005.1/17$221
245 00 $aFormal methods for distributed processing :$ba survey of object-oriented approaches /$cedited by Howard Bowman, John Derrick.
260 $aCambridge, UK ;$aNew York :$bCambridge University Press,$c2001.
300 $ax, 480 p. :$bill. ;$c26 cm.
504 $aIncludes bibliographical references and index.
505 8 $aMachine generated contents note: Preface -- Part One: Object-Oriented Distributed Systems -- 1 Issues in Distributed Systems -- P. F. Linington -- 2 Distributed Systems, An ODP Perspective -- P. F. Linington -- 3 Issues in Formal Methods -- H. Bowman and J. Derrick -- Part Two: Specification Notations -- 4 Finite State Machine Based: SDL -- R. O. Sinnott and D. Hogrefe -- 5 Process Calculi: E-LOTOS -- T. Robles, G. Huecas, J. Quemada, A. Verdejo and L. F. Llana-D 'az -- 6 State-Based Approaches: From Z to Object-Z -- G. Smith -- 7 The Unified Modeling Language -- S. Kent -- Part Three: Dynamic Reconfiguration -- 8 Actors: A Model for Reasoning About Open Distributed Systems -- G. A. Agha, P. Thati and R. Ziaei -- 9. M 7r-Calculi -- P. Sewell -- 10. Mobile Ambients -- L. Cardelli and A. D. Gordon -- Part Four: Subtyping -- 11. Subtyping in Distributed Systems -- J. Indulska -- 12. Behavioural Subtyping Using Invariants and Constraints -- B. H. Liskov and J. M. Wing -- 13. Behavioural Typing for Objects and Process Calculi -- E. Najm, A. Nimour and J-B. Stefani -- Part Five: Concurrent 00 Languages -- 14. Reflection in Concurrent Object-Oriented Languages -- H. Masuhara and A. Yonezawa -- 15. Inheritance in Concurrent Objects -- C. Laneve -- Part Six: Nonfunctional Requirements -- 16. Multimedia in the E-LOTOS Process Algebra -- G. Leduc -- 17. Specifying and Analysing Multimedia Systems -- L. Blair and G. Blair -- Part Seven: Development Architectures -- 18. PICCOLA - A Small Composition Language -- F. Achermann, M. Lumpe, J.-G. Schneider and 0. Nierstrasz -- 19. Specification Architectures -- K. J. Turner and R. O. Sinnott -- 20. Viewpoints Modelling -- H. Bowman and J. Derrick -- Author Index -- Subject Index.
650 0 $aElectronic data processing$xDistributed processing.
650 0 $aObject-oriented programming (Computer science)
700 1 $aBowman, Howard,$d1966-
700 1 $aDerrick, John,$d1963-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam021/2001025501.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/fy02/2001025501.html