jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

Bibliographic Details
Main Authors:	Ujma, M, Shafiei, N
Format:	Conference item
Published:	2011

Similar Items

Automatic Handling of Native Methods in Java PathFinder
by: Shafiei, N, et al.
Published: (2014)

Überwachung von Java−Programmen mittels Java PathFinder
by: Fruth, M
Published: (2002)

JPF−AWT: Model Checking GUI Applications
by: Mehlitz, P, et al.
Published: (2011)

Java concurrency in practice /
by: Goetz, Brian
Published: (2006)

Concurrent and distributed computing in java /
by: 571775 Garg, Vijay K. (Vijay Kumar), 1963-
Published: (2004)

Refactoring Sequential Java Code for Concurrency via Concurrent Libraries
by: Ernst, Michael D., et al.
Published: (2008)

Correct Refactoring of Concurrent Java Code
by: Schäfer, M, et al.
Published: (2010)

Concurrency : state models and Java programs /
by: Magee, Jeff, 1952-, et al.
Published: (1999)

Concurrent and real-time programming in java /
by: 326151 Wellings, Andrew J.
Published: (2004)

Concurrent Typestate-Oriented Programming in Java
by: Rosita Gerbo, et al.
Published: (2019-04-01)

Java in distributed systems : concurrency, distribution and persistence /
by: 291005 Boger, Marko
Published: (2001)

Concurrent programming in Java : design principles and patterns /
by: 330232 Lea, Doug
Published: (1997)

Concurrencer: a tool for retrofitting concurrency into sequential Java applications via concurrent libraries
by: Dig, Danny, et al.
Published: (2010)

Concurrency : state models and Java programs / [compact disc]
by: Magee, Jeff, 1952-, et al.
Published: (1999)

Concurrent, Real-Time and Distributed Programming in Java : Threads, RTSJ and RMI /
by: Benmammar, Badr, author
Published: (2018)

PathFinder: mining signal transduction pathway segments from protein-protein interaction networks
by: Yang Jiong, et al.
Published: (2007-09-01)

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems
by: Chong Shum, et al.
Published: (2018-01-01)

Concurrent delay in an extension of time /
by: Teh, Kian Choon, 1969-, author 616073, et al.
Published: (2018)

Concurrent delay in an extension of time /
by: Teh, Kian Choon, 1969-, author 616073
Published: (2018)

Sound and Extensible Renaming for Java
by: Schäfer, M, et al.
Published: (2008)

Sound and Extensible Renaming for Java
by: Schaefer, M, et al.
Published: (2008)

The Non-Deterministic Path to Concurrency – Exploring how Students Understand the Abstractions of Concurrency
by: Filip STRÖMBÄCK, et al.
Published: (2021-12-01)

Java cryptography extensions : practical guide for programmers /
by: 306890 Weiss, Jason
Published: (2004)

Java, Java, Java! : object-oriented problem solving /
by: Morelli, R. (Ralph)
Published: (2003)

Java, Java, Java : object-oriented problem solving /
by: Morelli, R. (Ralph), et al.
Published: (2006)

Java, Java, Java! : object-oriented problem solving /
by: Morelli, R. (Ralph)
Published: (2000)

Java and JavaScript programming /
by: 177212 Wayner, Peter
Published: (1997)

Java and JavaBeans for Cheminformatics
by: Anatoli Krassavine
Published: (1998-11-01)

Main contractor's entitlement to an extension of time due to concurrent delay /
by: Airennizah Othman, 1985-, et al.
Published: (2008)

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
by: Lorch, Jacob, et al.
Published: (2022)

FARMING EFFICIENCY AND AGRICULTURAL EXTENSION PERFORMANCE IN CENTRAL JAVA
by: Sucihatiningsih Dian Wisika Prajanti
Published: (2014-03-01)

FARMING EFFICIENCY AND AGRICULTURAL EXTENSION PERFORMANCE IN CENTRAL JAVA
by: Sucihatiningsih Dian Wisika Prajanti
Published: (2014-03-01)

FARMING EFFICIENCY AND AGRICULTURAL EXTENSION PERFORMANCE IN CENTRAL JAVA
by: Sucihatiningsih Dian Wisika Prajanti
Published: (2014-03-01)

FARMING EFFICIENCY AND AGRICULTURAL EXTENSION PERFORMANCE IN CENTRAL JAVA
by: Sucihatiningsih Dian Wisika Prajanti
Published: (2014-03-01)

FARMING EFFICIENCY AND AGRICULTURAL EXTENSION PERFORMANCE IN CENTRAL JAVA
by: Sucihatiningsih Dian Wisika Prajanti
Published: (2014-03-01)

Java, Java, Java! : object-oriented problem solving / [cakera padat]
by: Morelli, R. (Ralph)
Published: (2000)

Java, Java, Java! : object-oriented problem solving / [cakera padat]
by: Morelli, R. (Ralph)
Published: (2003)

Concurrency and Portability
by: M. Evstunin
Published: (1995-02-01)

Java elements: principles of programming in java /
by: 460512 Bailey, Duane A., et al.
Published: (2000)

Simply Java : an introduction to Java programming /
by: Levenick, James Richard, 1952-
Published: (2006)