Distributed Systems: Methods and Tools for Specification An Advanced Course

✍ Scribed by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 1985
Tongue: English
Leaves: 575
Series: Lecture Notes in Computer Science 190
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Introduction....Pages 1-6
Basic concepts....Pages 7-43
Acquisition — environment....Pages 45-130
A graph model based approach to specifications....Pages 131-201
Formal foundation for specification and verification....Pages 203-285
Language constructs for distributed programs....Pages 287-341
The argus language and system....Pages 343-430
Paradigms for distributed programs....Pages 431-480
Issues and tools for protocol specification....Pages 481-538
Conclusion....Pages 539-547

✦ Subjects

Computer Communication Networks

📜 SIMILAR VOLUMES

Distributed Systems: Methods and Tools f

📁 Distributed Systems: Methods and Tools for Specification An Advanced Course

✍ M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Li 📂 Library 📅 1985 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Distributed Systems: Methods and Tools f

📁 Distributed Systems: Methods and Tools for Specification An Advanced Course

✍ M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Li 📂 Library 📅 1985 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Distributed Systems — Architecture and I

📁 Distributed Systems — Architecture and Implementation: An Advanced Course

✍ Gerard LeLann (auth.), D. W. Davies, E. Holler, E. D. Jensen, S. R. Kimbleton, B 📂 Library 📅 1981 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Distributed Systems — Architecture and I

📁 Distributed Systems — Architecture and Implementation: An Advanced Course

✍ Gerard LeLann (auth.), D. W. Davies, E. Holler, E. D. Jensen, S. R. Kimbleton, B 📂 Library 📅 1981 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Tools and Environments for Parallel and

📁 Tools and Environments for Parallel and Distributed Systems

✍ Amr Zaky, Ted Lewis (auth.), Amr Zaky, Ted Lewis (eds.) 📂 Library 📅 1996 🏛 Springer US 🌐 English

<p>Developing correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achiev

Operating Systems: An Advanced Course

📁 Operating Systems: An Advanced Course

✍ R. Bayer, R. M. Graham, J. H. Saltzer, G. Seegmüller (auth.), R. Bayer, R. M. Gr 📂 Library 📅 1978 🏛 Springer-Verlag Berlin Heidelberg 🌐 English