✦ LIBER ✦

Revocation techniques for Java concurrency

✍ Scribed by Adam Welc; Suresh Jagannathan; Antony L. Hosking

Book ID: 102118263
Publisher: John Wiley and Sons
Year: 2006
Tongue: English
Weight: 446 KB
Volume: 18
Category: Article
ISSN: 1532-0626
DOI: 10.1002/cpe.1008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A critique of Java for concurrent progra

A critique of Java for concurrent programming

✍ Garg, V.K.; Neeraj Mittal 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 194 KB

Linda implementations in Java for concur

Linda implementations in Java for concurrent systems

✍ G. C. Wells; A. G. Chalmers; P. G. Clayton 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 228 KB

Tool support for testing concurrent Java

Tool support for testing concurrent Java components

✍ Long, B.; Hoffman, D.; Strooper, P. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 499 KB

A deadlock detection tool for concurrent

A deadlock detection tool for concurrent Java programs

✍ Claudio Demartini; Radu Iosif; Riccardo Sisto 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 160 KB 👁 2 views

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model

A method for verifying concurrent Java c

A method for verifying concurrent Java components based on an analysis of concurrency failures

✍ Brad Long; Paul Strooper; Luke Wildman 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB

Special issue: formal techniques for Jav

Special issue: formal techniques for Java programs

✍ Susan Eisenbach; Gary T. Leavens 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 55 KB