AbstractThe intention of this paper is to make a contribution to (compositional) development methods for concurrent programs. The topics touched on include interference, atomicity, observability and granularity. The paper sets out some requirements for an approach to developing systems by “splitting atoms safely”
Existing atomic section interface proposals, thus far, have tended to only isolate transactions from...
Abstract. A key property for a development method is compositionality because it ensures that a meth...
Copyright is held by the owner/author(s). Despite much research on concurrent programming languages,...
AbstractInterference is what makes the design of concurrent programs difficult. In the case of share...
This paper shows how the concept of atomicity can ease the development of concurrent software. It il...
Formal methods are a useful tool for increasing the confidence in the correctness of computer progra...
Most proof methods for reasoning about concurrent programs are based upon the interleaving semantics...
Concurrent programming is a difficult and error-prone task because the programmer must reason about...
AbstractEnsuring the correctness of multithreaded programs is difficult, due to the potential for un...
Concurrent and reactive programs are specified by their behaviours in the presence of a nondetermini...
159 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1985.The concept of an indivisible...
Data-Centric Concurrency Control (DCCC) shifts the reasoning about concurrency restrictions from con...
Using the fiction of atomicity as a design abstraction and then refining atomicity as we develop an ...
Writing shared-memory parallel programs is an error-prone process. Atomicity violations are especial...
In this paper we describe an approach of implementing atomicity. Atomicity requires that computation...
Existing atomic section interface proposals, thus far, have tended to only isolate transactions from...
Abstract. A key property for a development method is compositionality because it ensures that a meth...
Copyright is held by the owner/author(s). Despite much research on concurrent programming languages,...
AbstractInterference is what makes the design of concurrent programs difficult. In the case of share...
This paper shows how the concept of atomicity can ease the development of concurrent software. It il...
Formal methods are a useful tool for increasing the confidence in the correctness of computer progra...
Most proof methods for reasoning about concurrent programs are based upon the interleaving semantics...
Concurrent programming is a difficult and error-prone task because the programmer must reason about...
AbstractEnsuring the correctness of multithreaded programs is difficult, due to the potential for un...
Concurrent and reactive programs are specified by their behaviours in the presence of a nondetermini...
159 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1985.The concept of an indivisible...
Data-Centric Concurrency Control (DCCC) shifts the reasoning about concurrency restrictions from con...
Using the fiction of atomicity as a design abstraction and then refining atomicity as we develop an ...
Writing shared-memory parallel programs is an error-prone process. Atomicity violations are especial...
In this paper we describe an approach of implementing atomicity. Atomicity requires that computation...
Existing atomic section interface proposals, thus far, have tended to only isolate transactions from...
Abstract. A key property for a development method is compositionality because it ensures that a meth...
Copyright is held by the owner/author(s). Despite much research on concurrent programming languages,...
DOI
Add to ORKG