@CONFERENCE\{IMM1998-02056, author = "H. H. L{\o}vengreen and M. U. S{\o}rensen", title = "Interval-based Specification of Concurrent Objects", year = "1998", month = "aug", pages = "111-131", booktitle = "ESSLLI'98 workshop on Duration Calculus", volume = "", series = "", editor = "Michael R. Hansen", publisher = "{DFKI,} \{Saarbrücken\}", organization = "", address = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/2056-full.html" }