SPECIFICATION OF CONCURRENCY: AN OBJECT-BASED APPROACH