Computing at Glasgow University
Paper ID: 8859
DCS Tech Report Number: TR-2008-270

Property Preservation in Quotient Structures
Miller,A. Donaldson,A.

Publication Type: Tech Report (internal)
Appeared in: DCS Technical Report Series
Page Numbers : 1-34
Publisher: Dept of Computing Science, University of Glasgow
Year: 2008

We define a variety of models and their (reduced) quotient structures under symmetry groups. In each case we prove that certain logical properties are preserved by the reduction.

Keywords: Kripke structure, Markov chain, symmetry reduction, CTL, PCTL

PS/PS.GZ PDF Bibtex entry Endnote XML