Coalgebraic Announcement Logics (bibtex)

by Facundo Carreiro, Daniel Gorín and Lutz Schröder

Reference:

Facundo Carreiro, Daniel Gorín and Lutz Schröder: Coalgebraic Announcement Logics, In Fedor Fomin, Marta Kwiatkowska, David Peleg, eds.: Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, Lect. Notes Comput. Sci., Springer, 2013. To appear

Bibtex Entry:

@InProceedings{CarreiroEA13,
  author = {Facundo Carreiro and Daniel Gor{\'i}n and Lutz Schr{\"o}der},
  title = {Coalgebraic Announcement Logics},
  booktitle = {Proc. 40th International Colloquium on Automata, Languages and Programming, ICALP 2013},
  editor = {Fedor Fomin and Marta Kwiatkowska and David Peleg},
  series = {Lect. Notes Comput. Sci.},
  publisher = {Springer},
  note = {To appear},
  year = {2013},
}