Name
Abstract | ||
|---|---|---|
We show how formal methods can be used to model multi-threading in Java and provide useful insights into developing programs using multi-threaded objects. In particular, we will give an example of how deadlock can be avoided. The formalism used is that of action systems. |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1109/TOOLS.1997.681868 | Melbourne, Vic. |
Keywords | Field | DocType |
formal method,modelling multi-threading,useful insight,action system,multi-threaded object,algebra,testing,multithreading,formal specification,concurrency control,parallel programming,refinement,objects,formal methods,concurrent computing,java,object oriented languages,deadlock,information technology,multi threading | Multithreading,Programming language,Computer science,Deadlock,Java concurrency,Real time Java,Formal specification,Java Modeling Language,Formal methods,Java | Conference |
ISBN | Citations | PageRank |
0-8186-8485-2 | 0 | 0.34 |
References | Authors | |
5 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Axel Wabenhorst | 1 | 33 | 3.26 |
| John Potter | 2 | 289 | 50.46 |