Paper: PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (at LICS 2015)
Authors: Facundo Carreiro
Abstract
No Abstract Available
BibTeX
@InProceedings{Carreiro-PDLIstheBisimulatio, author = {Facundo Carreiro}, title = {PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic}, booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)}, year = {2015}, month = {July}, pages = {341--352}, location = {Kyoto, Japan}, publisher = {IEEE Computer Society Press} }