Temporal Constraints for Concurrent Object Synchronisation
Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (130Kb) |
Description/Abstract
This is a brief introduction to the language Jeeg (presented as an invited talk at WOODS 2003)
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | Jeeg, Java, synchronisation constraint, temporal logics, inheritance anomaly, online model-checking |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261903 |
| Date Deposited: | 05 Feb 2006 |
| Last Modified: | 02 Mar 2012 12:20 |
| Contributors: | Milicia, G. (Author) Sassone, V. (Author) |
| Date: | 2003 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261903 |
Actions (login required)
 |
View Item |
