Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. International Workshop on Object Oriented Developments, WOODS 2003.. 3 pp. .
Record type:
Conference or Workshop Item
(Paper)
Abstract
This is a brief introduction to the language Jeeg (presented as an invited talk at WOODS 2003)
More information
Published date: 2003
Venue - Dates:
International Workshop on Object Oriented Developments, WOODS 2003., 2003-01-01
Keywords:
Jeeg, Java, synchronisation constraint, temporal logics, inheritance anomaly, online model-checking
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261903
URI: http://eprints.soton.ac.uk/id/eprint/261903
PURE UUID: 38c20120-1a79-420c-8bbb-8cf828f1ea55
Catalogue record
Date deposited: 05 Feb 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
G. Milicia
Author:
V. Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.