### 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: Workshop on Duratin Calculus - Saarbrücken, Germany Duration: 17 Aug 1998 → 28 Aug 1998 Conference number: 10 |

### Other

Other | 10th European Summer School in Logic, Language and Information: Workshop on Duratin Calculus |
---|---|

Number | 10 |

Country | Germany |

City | Saarbrücken |

Period | 17/08/1998 → 28/08/1998 |

## Cite this

Løvengreen, H. H., & Sørensen, M. U. (1998). Interval-based Specification of Concurrent Objects. In

*Proceedings of ESSLLI'98 workshop on Duration Calculus*(pp. 111-131). DFKI.