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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of ESSLLI'98 workshop on Duration Calculus |
| Place of Publication | Saarbrücken, D |
| Publisher | DFKI |
| Publication date | 1998 |
| Pages | 111-131 |
| Publication status | Published - 1998 |
| Event | 10th European Summer School in Logic Language and Information - Saarbrücken, Germany Duration: 17 Aug 1998 → 28 Aug 1998 Conference number: 10 http://www.folli.info/?page_id=45 https://www.coli.uni-saarland.de/conf/esslli-98/ |
Conference
| Conference | 10th European Summer School in Logic Language and Information |
|---|---|
| Number | 10 |
| Country/Territory | Germany |
| City | Saarbrücken |
| Period | 17/08/1998 → 28/08/1998 |
| Internet address |