Interval-based Specification of Concurrent Objects

Hans Henrik Løvengreen, Morten U. Sørensen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    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 languageEnglish
    Title of host publicationProceedings of ESSLLI'98 workshop on Duration Calculus
    Place of PublicationSaarbrücken, D
    PublisherDFKI
    Publication date1998
    Pages111-131
    Publication statusPublished - 1998
    Event10th European Summer School in Logic, Language and Information: Workshop on Duratin Calculus - Saarbrücken, Germany
    Duration: 17 Aug 199828 Aug 1998
    Conference number: 10

    Other

    Other10th European Summer School in Logic, Language and Information: Workshop on Duratin Calculus
    Number10
    CountryGermany
    CitySaarbrücken
    Period17/08/199828/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.