Paper: A Logical Characterization of Bisimulation for Labeled Markov Processes (at LICS 1998)
Authors: Josee Desharnais Abbas Edalat Prakash PanangadenAbstract
No Abstract Available
BibTeX
@InProceedings{DesharnaisEdalatPan-ALogicalCharacteriz, author = {Josee Desharnais and Abbas Edalat and Prakash Panangaden}, title = {A Logical Characterization of Bisimulation for Labeled Markov Processes}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {478-487 }, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }