Bernardinello, Ferigato, Pomello, 2014. Between quantum logic and concurrency 158.. https://doi.org/10.4204/eptcs.158.6