@inproceedings{DongolGS15,
  author    = {Dongol, B. and
               Gomes, V. B. F. and
               Struth, G.},
  title     = {A Program Construction and Verification Tool for Separation Logic},
  booktitle = {{MPC} 2015},
  pages     = {137--158},
  year      = {2015},
  series    = {LNCS},
  volume    = {9129},
  publisher = {Springer}
}

@article{DongolHS16,
  author    = {B. Dongol and
               I. J. Hayes and
               G. Struth},
  title     = {Convolution as a Unifying Concept: Applications in Separation Logic,
               Interval Calculi, and Concurrency},
  journal   = {{ACM} TOCL},
  volume    = {17},
  number    = {3},
  pages     = {15},
  year      = {2016}
}

@article{DongolHS17,
  author    = {B. Dongol and
               I. J. Hayes and
               G. Struth},
  title     = {Relational Convolution, Generalised Modalities and Incidence Algebras},
  journal   = {CoRR},
  volume    = {abs/1702.04603},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.04603},
  timestamp = {Wed, 07 Jun 2017 14:42:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/DongolHS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{HoareMSW11,
  author    = {T. Hoare and
               B. M{\"o}ller and
               G. Struth and
               I. Wehrman},
  title     = {Concurrent {Kleene} Algebra and its Foundations},
  journal   = {J. Logic and Algebraic Programming},
  volume    = {80},
  number    = {6},
  year      = {2011},
  pages     = {266--296},
  ee        = {https://doi.org/10.1016/j.jlap.2011.04.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{HalpernS91,
 author = {Halpern, J. Y. and Shoham, Y.},
 title = {A Propositional Modal Logic of Time Intervals},
 journal = {J. ACM},
 volume = {38},
 number = {4},
 year = {1991},
 pages = {935--962},
}

@inproceedings{Moszkowski00,
  author    = {B. C. Moszkowski},
  title     = {A Complete Axiomatization of Interval Temporal Logic with Infinite
               Time},
  booktitle = {LICS 2000},
    publisher = {IEEE Computer Society},
  year      = 2000,
  pages     = {241--252},

}

@article{OHearnP99,
  author    = {P. W. O'Hearn and
               D. J. Pym},
  title     = {The logic of bunched implications},
  journal   = {Bulletin of Symbolic Logic},
  volume    = {5},
  number    = {2},
  year      = {1999},
  pages     = {215--244},
}

@article{Venema91,
  author    = {Venema, Y.},
  title     = {A Modal Logic for Chopping Intervals},
  journal   = {Journal of  Logic and  Computation},
  volume    = {1},
  number    = {4},
  pages     = {453--476},
  year      = {1991},
}

@BOOK{ZhouH04,
    author       = "C. Zhou and M. R. Hansen",
    title        = "Duration Calculus: A Formal Approach to Real-Time Systems",
    year         = 2004,
    publisher    = "Springer",
}