16 citations · 88 across the 12 of their papers we have counts for
13 papers
The three types of normal sequential effect algebras
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product on C*-algebras…
A characterisation of ordered abstract probabilities
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like "a predicate" vary wildly.…
Polymorphic Encryption and Pseudonymisation of IP Network Flows
Abraham Westerbaan, Luuk Hendriks
We describe a system, PEP3, for storage and retrieval of IP flow information in which the IP addresses are replaced by pseudonyms. Every eligible party gets its own set of pseudony…
Lattice Valuations: a Generalisation of Measure and Integral
Abraham A. Westerbaan
Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions o…
Duplicable von Neumann Algebras
Kenta Cho, Abraham A. Westerbaan
Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the dup…
Pure Maps between Euclidean Jordan Algebras
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras (EJA) that generalizes the notion of purity for quantum systems. We show that this defi…