Formal Methods for Distributed Processing
Contributors: Howard Bowman (Editor); John Derrick (Editor)
Edition: 1st edition
Publisher: Cambridge University Press
Published: January 15, 2002
Language: eng
Format: Hardcover
Number of pages: 490
ISBN-13: 9780521771849
Subjects: Computer Hardware & Operating Systems; Object-oriented programming (OOP); Object-oriented programming (Computer science); Electronic data processing; Distributed Computer Systems; Object-Oriented Programming; Programming - Software Development; Computers; Computers - Languages / Programming; Object-oriented programming (C; Computer Books: General; Management Information Systems; Networking - General; Programming - Object Oriented Programming; Computers / Programming / Object Oriented; Electronic data processing--Distributed processing; Distributed processing
First sentence: No one can doubt the importance of distributed systems these days, but they do pose a particular challenge to the developers of formal methods: they involve, by their nature, a high degree of independence between components and have dynamically changing structures, the evolution of which needs to be captured in any formal specification.