عنوان

Formal methods for distributed processing

(Number (ISBN

0521771846

Country Code

IR

Number

44935

.Language of Text, Soundtrack etc

انگلیسی

Country of publication

IR

Title Proper

Formal methods for distributed processing

General Material Designation

[Book]

Other Title Information

:a survey of object-oriented approaches

First Statement of Responsibility

/ Howard Bowman, John Derrick

Place of Publication, Distribution, etc.

Cambridge, New York, NY, USA

Name of Publisher, Distributor, etc.

: Cambridge University Press

Date of Publication, Distribution, etc.

, 2001

Specific Material Designation and Extent of Item

x, 480 p.

Dimensions

; 26 cm

Text of Note

English

Text of Note

Includes bibliographical references and index.

Text of Note

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)

Class number

Book number

Bowman, Howard

Derrick, John

Country

Iran

Agency

University of Tehran. Library of Technical Camp 2

Old cataloging

p

BL

1

Y