Title: Synthesis of transition systems from quantum logics
Authors: BERNARDINELLO L.FERIGATO CARLOPOMELLO LUCIAPUERTO AUBEL ADRIAN
Citation: FUNDAMENTA INFORMATICAE vol. 154 no. 1-4 p. 25-36
Publisher: IOS PRESS
Publication Year: 2017
JRC N°: JRC106571
ISSN: 0169-2968
URI: http://content.iospress.com/articles/fundamenta-informaticae/fi1550
http://publications.jrc.ec.europa.eu/repository/handle/JRC106571
DOI: 10.3233/FI-2017-1550
Type: Articles in periodicals and books
Abstract: The set of elementary regions of a transition system, ordered by set inclusion,forms an orthomodular poset, and more precisely a regular and rich concrete quantum logic. Starting from an abstract regular and rich quantum logic, one can construct an elementary transition system such that the orginal logic embeds into its set of regions, and which is saturated of transitions. We study the problem of selecting subsets of transitions on the same set of states, which generate the same set of regions.
JRC Directorate:Space, Security and Migration

Files in This Item:
There are no files associated with this item.


Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.