Abstract
Abstract.
Recently the action systems formalism for parallel and distributed systems has been extended with the procedure mechanism. This gives us a very general framework for describing different communication paradigms for action systems, e.g. remote procedure calls. Action systems come with a design methodology based on the refinement calculus. Data refinement is a powerful technique for refining action systems. In this paper we will develop a theory and proof rules for the refinement of action systems that communicate via remote procedures based on the data refinement approach. The proof rules we develop are compositional so that modular refinement of action systems is supported. As an example we will especially study the atomicity refinement of actions. This is an important refinement strategy, as it potentially increases the degree of parallelism in an action system.
Index Terms
- Data Refinement of Remote Procedures
Recommendations
Locally constrained nodal connectivity refinement procedures for unstructured triangular finite element meshes
This paper presents specific procedures for locally refining nodal connectivity of two-dimensional unstructured triangular meshes to improve the quality of the mesh as well as to increase solution accuracy and computational speed. Details of the ...
Quality Meshing with Weighted Delaunay Refinement
Delaunay meshes with bounded circumradius to shortest edge length ratio have been proposed in the past for quality meshing. The only poor quality tetrahedra, called slivers, that can occur in such a mesh can be eliminated by the sliver exudation ...
Comments