Please use this identifier to cite or link to this item:
|Title:||On a logic of observations in occurrence nets|
|Authors:||BERNARDINELLO Luca; FERIGATO Carlo; POMELLO L.; ROMBOLA S.|
|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|
|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.