๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Accommodating interference in the formal design of concurrent object-based programs

โœ Scribed by C. B. Jones

Book ID
104630271
Publisher
Springer
Year
1996
Tongue
English
Weight
903 KB
Volume
8
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

โœฆ Synopsis

This paper is about formal development methods for concurrent programs. Interference is the bane of the quest for compositional methods for concurrency. Concepts from object-orientod languages are argued to be a promising way of taming interference. Two approaches to development are described which are applicable to differing degrees of interference.

๐Ÿ“œ SIMILAR VOLUMES

A practical approach to the design of co
A practical approach to the design of concurrency in object-oriented systems
โœ Maher Awad; Jurgen Ziegler ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 301 KB ๐Ÿ‘ 2 views

Object-oriented software development methods deal with concurrency according to either the implicit concurrency model or the explicit concurrency model. In the implicit model, the objects themselves have concurrent execution capabilities whereas in the explicit model, objects are encapsulated inside