Journal
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Volume -, Issue 172, Pages 27-35Publisher
OPEN PUBL ASSOC
DOI: 10.4204/EPTCS.172.3
Keywords
-
Categories
Funding
- EPSRC [EP/I03808X/1, EP/K015478/1] Funding Source: UKRI
Ask authors/readers for more resources
A 'process theory' is any theory of systems and processes which admits sequential and parallel composition. 'Terminality' unifies normalisation of pure states, trace-preservation of CP-maps, and adding up to identity of positive operators in quantum theory, and generalises this to arbitrary process theories. We show that terminality and non-signalling coincide in any process theory, provided one makes causal structure explicit. In fact, making causal structure explicit is necessary to even make sense of non-signalling in process theories. We conclude that because of its much simpler mathematical form, terminality should be taken to be a more fundamental notion than non-signalling.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available