Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
We present a way of viewing labelled transition systems as sheaves: these can be thought of as systems of observations over a topology, with the property that consistent local observations can be pasted together into global observations. We show how this approach extends to hierarchical structures of labelled transition systems, where behaviour is taken as a limit construction. Our examples show that this is particularly effective when transition systems have structured states.
Publication details
DOI: 10.1007/11780274_21
Full citation:
Malcolm, G. (2006)., Sheaves and structures of transition systems, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 405-419.
This document is unfortunately not available for download at the moment.