عنوان

Formal methods for distributed processing

0521771846

IR

44935

انگلیسی

IR

Formal methods for distributed processing

[Book]

:a survey of object-oriented approaches

/ Howard Bowman, John Derrick

Cambridge, New York, NY, USA

: Cambridge University Press

, 2001

x, 480 p.

; 26 cm

English

Includes bibliographical references and index.

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

Electronic data processing -- Distributed processing

Object-oriented programming (Computer science)

Bowman, Howard

Derrick, John

Iran

University of Tehran. Library of Technical Camp 2

Old cataloging

p

BL

1

Y