• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

The Design of Distributed Systems - An Introduction to FOCUS (1992)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [www4.informatik.tu-muenchen.de]
  • [www4.informatik.tu-muenchen.de]
  • [www4.in.tum.de]
  • [wwwbroy.informatik.tu-muenchen.de]
  • [wwwbroy.informatik.tu-muenchen.de]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Manfred Broy , Max Fuchs
Citations:97 - 20 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@TECHREPORT{Broy92thedesign,
    author = {Manfred Broy and Max Fuchs},
    title = {The Design of Distributed Systems - An Introduction to FOCUS},
    institution = {},
    year = {1992}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Focus is a framework for the systematic formal specification and development of distributed interactive systems and their components. Focus provides models, formalisms and verification calculi for the stepwise specification and development, transformation and verification of such systems. Focus aims at the modular development and implementation of distributed interactive systems through several abstraction levels by stepwise refinement. 1 Chapter 1 Methods for System Development A (distributed) system consists of a family of interacting, conceptually or spatially distributed components. A system development method provides a framework for organizing the stepwise construction of such systems. During the development process several descriptions are produced, that reflect different abstraction levels. Only if formal techniques are used these descriptions can be made as precise and unambiguous as necessary. Moreover, formal techniques allow to establish formal relationships between des...

Citations

3118 Communicating Sequential Processes - Hoare - 1985
664 The Semantics of a Simple Language for Parallel Programming - Kahn - 1974
514 Conjoining specifications - Abadi, Lamport - 1995
178 Specifying concurrent program modules - Lamport - 1983
173 Mathematical Theory of Computation - MANNA - 1974
151 Coroutines and Network of Parallel Processes - Kahn, Queen - 1977
63 Specification and Transformation of Programs - Partsch - 1990
63 et al. Report on the programming language Haskell: A non-strict, purely functional language. Version 1.2 - Hudak, Jones, et al. - 1992
56 Lucid, the Dataflow Programming Language - Wadge, Ashcroft - 1985
55 A proof of the Kahn principle for input/output automata - Lynch, Stark - 1989
42 Composing speci cations - Abadi, Lamport - 1993
25 Denotational models for parallel programs with indeterminate operators - Keller - 1978
25 Towards a Design Calculus for Communicating Programs, LNCS 527 (Springer-Verlag), p - Olderog - 1991
6 From service specification to protocol entity implementation - an exercise in FOCUS - Dendorfer, Weber - 1992
4 Speci cation and Transformation of Programs - Partsch - 1990
3 Parallel program development for a recursive numerical algorithm: a case study. SFB-Bericht Nr. 342/7/92a, Technische Universitaet Muenchen - Gorlatch - 1992
3 Eine Zeigerimplementierung von Graphreduktion fur eine Datenflusprache - Nueckel - 1988
3 the data ow programming language - Lucid - 1985
2 Eine Methodik fur die formale Anforderungspezi kation verteilter Systeme, Report 342/13/92 A, Technische Universitat Munchen - Weber - 1992
2 From service speci cation to protocol entity implementation { an exercise in formal protocol development - Dendorfer, Weber - 1992
1 A survey and classification of some transformation approaches and techniques - Feather - 1987
1 The Foundations of Program Verification. WileyTeubner, 2nd edition - Loeckx, Sieber - 1987
1 Some comments on the assumption commitment framework for compositional verfication of distributed programs - Pandya - 1990
1 A survey and classi cation of some transformation approaches and techniques - Feather - 1987
1 et al. PROgram development by SPECi cation and TRAnsformation - Krieg-Bruckner - 1990
1 developmentby SPECi cation and TRAnsformation - PROgram - 1990
1 The Foundations of Program Veri cation. WileyTeubner, 2nd edition - Loeckx, Sieber - 1987
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University