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. Read the first page
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Formal Methods for Distributed Processing
and over one million other books are available for Amazon Kindle .
Learn more
Inside This Book
(Learn More)
Concordance
(Learn More)
These are the most frequently used words in this book.
action
actor
allows
ambient
applications
approach
architectural
architecture
based
behaviour
between
calculus
case
channel
chapter
class
communication
components
composition
computer
concepts
concurrent
constraints
data
define
defined
definition
description
design
development
different
distributed
editors
example
first
following
form
formal
function
given
however
implementation
information
inheritance
interaction
interface
language
lotos
may
message
method
model
must
name
need
new
note
number
object
odp
offers
open
operations
pages
part
particular
policy
process
programming
properties
provide
relationships
result
rules
science
sdl
section
see
semantics
service
set
specification
state
subtype
subtyping
support
systems
techniques
terms
time
trader
two
type
use
used
user
value
variables
viewpoint
work
|
