Title: On a logic of observations in occurrence nets
Citation: Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics vol. 160
Publisher: Electronic Proceedings in Theoretical Computer Science
Publication Year: 2014
JRC N°: JRC90949
ISSN: 2075-2180
URI: http://publications.jrc.ec.europa.eu/repository/handle/JRC90949
DOI: 10.4204/EPTCS.160
Type: Articles in periodicals and books
Abstract: By using standard algebraic techniques, we already showed that orthomodular lattices can be associated to K-dense occurrence nets and that lines and cuts have a specific algebraic counterpart in orthomodular lattices. In this contribution, we elaborate further on the previous results by showing that the orthomodular lattices associated to occurrence nets have a meaningful representation in terms of sets and set operations, that is they are concrete logics in the language of Quantum Logics.
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.