Modal Logics in Timed Process Algebras. Brim, L. In Purushothaman, S. & Zwarico, A. E., editors, NAPAW, of Workshops in Computing, pages 13-26, 1992. Springer.
Modal Logics in Timed Process Algebras. [link]Paper  bibtex   
@inproceedings{conf/napaw/Brim92,
  author = {Brim, Lubos},
  booktitle = {NAPAW},
  crossref = {conf/napaw/1992},
  date = {2003-02-25},
  editor = {Purushothaman, S. and Zwarico, Amy E.},
  interhash = {b6bdb5a8553aadc12033a2d07e2cd264},
  intrahash = {c4d5d2e412bf714c55fbdf5d6cad5fc0},
  isbn = {3-540-19822-9},
  pages = {13-26},
  publisher = {Springer},
  series = {Workshops in Computing},
  title = {Modal Logics in Timed Process Algebras.},
  url = {http://dblp.uni-trier.de/db/conf/napaw/napaw1992.html#Brim92},
  year = 1992
}

Downloads: 0