Matches in Library of Congress for { <http://lccn.loc.gov/2001025501> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2001025501 contributor B8927143.
- 2001025501 created "2001.".
- 2001025501 date "2001".
- 2001025501 date "2001.".
- 2001025501 dateCopyrighted "2001.".
- 2001025501 description "Includes bibliographical references and index.".
- 2001025501 description "Machine 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.".
- 2001025501 extent "x, 480 p. :".
- 2001025501 identifier "0521771846".
- 2001025501 identifier 2001025501.html.
- 2001025501 identifier 2001025501.html.
- 2001025501 issued "2001".
- 2001025501 issued "2001.".
- 2001025501 language "eng".
- 2001025501 publisher "Cambridge, UK ; New York : Cambridge University Press,".
- 2001025501 subject "005.1/17 21".
- 2001025501 subject "Electronic data processing Distributed processing.".
- 2001025501 subject "Object-oriented programming (Computer science)".
- 2001025501 subject "QA76.9.D5 F662 2001".
- 2001025501 tableOfContents "Machine 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.".
- 2001025501 title "Formal methods for distributed processing : a survey of object-oriented approaches / edited by Howard Bowman, John Derrick.".
- 2001025501 type "text".