Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190) | EKB DL

EKB DL

Home BookDistributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Description

Basic concepts.- Acquisition - environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.

Keywords

ELECTRONIC DATA PROCESSING_DISTRIBUTED PROCESSING

1985Book

Author(s)M. Paul

PublisherSpringer

ISBN9783540152163

LanguageEnglish

SpringerLink

Similar Books

Book

Concepts for Distributed Systems Design

Book

Formal Methods for Open Object-based Distributed Systems

Book

Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science, 152)

Book

Distributed Systems - Architecture and Implementation: An Advanced Course (Springer Study Edition)

Book

Formal Systems Specification The RPC-Memory Specification Case Study

Book

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Book

Formal Methods for Open Object-based Distributed Systems Volume 2

Book

A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191)

Book

Formal Specification: Techniques and Applications

Book

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)