Distributed Systems
Methods and Tools for Specification. An Advanced Course
Published on 1. April 1985
Book
Paperback/Softback
VIII, 576 pages
978-3-540-15216-3 (ISBN)
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.
More details
Series
Edition
1985 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 576 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 32 mm
Weight
873 gr
ISBN-13
978-3-540-15216-3 (9783540152163)
DOI
10.1007/3-540-15216-4
Schweitzer Classification
Content
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.