Journal Article10.1016/0378-4754(90)90085-W
Parallel program design — A foundation
88
About: This article is published in Mathematics and Computers in Simulation. The article was published on 01 Feb 1990. The article focuses on the topics: Foundation (engineering).
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Formal verification in hardware design: a survey
TL;DR: A selection of case studies where formal methods were applied to industrial-scale designs, such as microprocessors, floating-point hardware, protocols, memory subsystems, and communications hardware are presented.
313
Mobile UNITY: reasoning and specification in mobile computing
TL;DR: This article considers the nature of the underlying formal models that will enable us to specify and reason about mobile computations, and employs the methods of UNITY, a highly modular extension of the UNITY programming notation.
Compositional refinement of interactive systems
TL;DR: It is proved that refinements of networks can be accomplished in a modular way by refining their compponents by defining notions of interface and interaction refinement and generalizing the notions of refinement to refining contexts.
116
Powerlist: a structure for parallel recursion
TL;DR: A data structure called powerlist is proposed that permits succinct descriptions of data-parallel algorithms, highlighting the roles of both parallelism and recursion.
Compositional specification and verification of distributed systems
TL;DR: A verification technique which reduces the problem of verifying the correctness of an implementation to classical verification conditions and is suitable in a development process where a detailed implementation is developed from an abstract specification through a sequence of refinement steps.
90
References
Convergence/response tradeoffs in concurrent systems
Mohamed G. Gouda,Michael Evangelist +1 more
- 02 Dec 1990
TL;DR: The authors argue that the convergence span can be reduced by some factor by increasing the response span by the same factor, and vice versa, and the discussion is centered on a class of self-stabilizing systems for detecting termination on a uni-directional ring.
14