Stochastic Relational Presheaves and Dynamic Logic for Contextuality
Presheaf models provide a formulation of labelled transition systems that is useful for, among other things, modelling concurrent computation. This paper aims to extend such models further to represent stochastic dynamics such as shown in quantum systems. After reviewing what presheaf models repre...
| 1. autor: | |
|---|---|
| Format: | Artykuł |
| Język: | English |
| Wydane: |
Open Publishing Association
2014-12-01
|
| Seria: | Electronic Proceedings in Theoretical Computer Science |
| Dostęp online: | http://arxiv.org/pdf/1412.8542v1 |