@Article{FurusawaS15b,
  author = 	 {Furusawa, H. and Struth, G.},
  title = 	 {Concurrent Dynamic Algebra},
  journal = 	 {ACM Transactions on Computational Logic},
  year = 	 2015,
  note = 	 {(In Press)}
}

@article{FurusawaS15a,
  author    = {Furusawa, H. and
               Struth, G.},
  title     = {Taming Multirelations},
  journal   = {CoRR},
  volume    = {abs/1501.05147},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.05147},
}

@article{Goldblatt92,
  author    = {Goldblatt, R.},
  title     = {Parallel Action: Concurrent Dynamic Logic with Independent
               Modalities},
  journal   = {Studia Logica},
  volume    = {51},
  number    = {3/4},
  year      = {1992},
  pages     = {551--578},
}

@article{Peleg87,
  author    = {Peleg, D.},
  title     = {Concurrent dynamic logic},
  journal   = {J. ACM},
  volume    = {34},
  number    = {2},
  year      = {1987},
  pages     = {450--479},
}
