Modelling Distributed Systems

Modelling Distributed Systems

A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today’s world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are used...

Full description

Bibliographic Details
Main Author: Fokkink, Wan (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Texts in Theoretical Computer Science An EATCS Series,
Subjects:
Computer science.
Architecture, Computer.
Software engineering.
Computers.
Computer logic.
Mathematical logic.
Computer science > Mathematics.
Computer Science.
Computer System Implementation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Software Engineering.
Theory of Computation.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items