Deadlock detection in distribution object systems.

The behaviour of a distributed system is largely determined by the use of synchronization primitives and threading policies of the underlying middleware. The inherent parallel nature of distributed systems may cause liveness problems, such as deadlocks and livelocks. An increasing number of distribu...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Software engineering notes. 26, 5 (2001).
1. Verfasser:	Kaveh, Nima
Format:	Artikel
Sprache:	English
Schlagworte:	Computer systems organization. Computer communication networks. Distributed systems. Distributed applications. Software. Software engineering. Software / Program Verification. Model checking. Programming languages. Language classifications. UML. Languages. Object middleware. Process algebra.