𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalization of Workflows and Correctness Issues in the Presence of Concurrency

✍ Scribed by ÏsmaÏlcem Budak Arpinar; UĞur Halici; Sena Arpinar; Asuman DoĞaÇ


Book ID
110267273
Publisher
Springer US
Year
1999
Tongue
English
Weight
304 KB
Volume
7
Category
Article
ISSN
0926-8782

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Accommodating interference in the formal
✍ C. B. Jones 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 903 KB

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