Conference paper
Interval-based Specification of Concurrent Objects
In
Proceedings of Esslli'98 Workshop on Duration Calculus
—
1998, pp. 111-131
Abstract
We propose a logic for specifying the behaviour of concurrent objects, ie. concurrent entities that invoke operation of each other. The logic is an interval logic whith operation invocatins as primitive formulas. The strengths and deficiencies of the logic are illustrated by specifying a variety of simple registers.
| Language: | English |
|---|---|
| Publisher: | DFKI |
| Year: | 1998 |
| Pages: | 111-131 |
| Proceedings: | 10th European Summer School in Logic Language and Information |
| Types: | Conference paper |
| ORCIDs: | Løvengreen, Hans Henrik |
